Inductive Synthesis of Equational Programs

Dershowitz and Pinchover. "Inductive Synthesis of Equational Programs." AAAI Conference on Artificial Intelligence, 1990.

[Dershowitz and Pinchover. "Inductive Synthesis of Equational Programs." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/dershowitz1990aaai-inductive/)

@inproceedings{dershowitz1990aaai-inductive,
  title     = {{Inductive Synthesis of Equational Programs}},
  author    = {Dershowitz, Nachum and Pinchover, Eli},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1990},
  pages     = {234-239},
  url       = {https://mlanthology.org/aaai/1990/dershowitz1990aaai-inductive/}
}