%0 Journal Article %1 teitelbaum81 %A Teitelbaum, T. %A Reps, T. %D 81 %J Communications of the ACM %K imported %N 9 %P 563--573 %T The Cornell Program Synthesizer %V 24

@article{teitelbaum81, added-at = {2007-06-19T16:03:11.000+0200}, author = {Teitelbaum, T. and Reps, T.}, biburl = {https://www.bibsonomy.org/bibtex/22d9f1c9719e3cecb51623949f216c703/charoy}, interhash = {4db6c0b89c5008acef641db06001434f}, intrahash = {2d9f1c9719e3cecb51623949f216c703}, journal = {Communications of the ACM}, keywords = {imported}, number = 9, pages = {563--573}, timestamp = {2007-06-19T16:03:35.000+0200}, title = {{The Cornell Program Synthesizer}}, volume = 24, year = 81 }