@inproceedingseptcs229.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} @COMMENTBibtex file generated on