Knowledge and Reasoning in Program Synthesis

Waldinger and Manna. "Knowledge and Reasoning in Program Synthesis." International Joint Conference on Artificial Intelligence, 1975. doi:10.1007/3-540-07131-8_29

[Waldinger and Manna. "Knowledge and Reasoning in Program Synthesis." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/waldinger1975ijcai-knowledge/) doi:10.1007/3-540-07131-8_29

@inproceedings{waldinger1975ijcai-knowledge,
  title     = {{Knowledge and Reasoning in Program Synthesis}},
  author    = {Waldinger, Richard J. and Manna, Zohar},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1975},
  pages     = {288-295},
  doi       = {10.1007/3-540-07131-8_29},
  url       = {https://mlanthology.org/ijcai/1975/waldinger1975ijcai-knowledge/}
}