Synthesis by Completion

Dershowitz. "Synthesis by Completion." International Joint Conference on Artificial Intelligence, 1985.

[Dershowitz. "Synthesis by Completion." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/dershowitz1985ijcai-synthesis/)

@inproceedings{dershowitz1985ijcai-synthesis,
  title     = {{Synthesis by Completion}},
  author    = {Dershowitz, Nachum},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {208-214},
  url       = {https://mlanthology.org/ijcai/1985/dershowitz1985ijcai-synthesis/}
}