@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