@inproceedings{eptcs229.4,
Author = {Damm, Werner and Finkbeiner, Bernd and Rakow, Astrid},
Title = {What You Really Need To Know About Your Neighbor},

Year = {2016},
Pages = {21-34},
Publisher = {Open Publishing Association},
Series = {Electronic Proceedings in Theoretical Computer Science},
Booktitle = {Proceedings Fifth Workshop on Synthesis, Toronto, Canada, July 17-18, 2016},
Doi = {10.4204/eptcs.229.4},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }