On the Mechanization of Abductive Logic

Pople. "On the Mechanization of Abductive Logic." International Joint Conference on Artificial Intelligence, 1973.

[Pople. "On the Mechanization of Abductive Logic." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/pople1973ijcai-mechanization/)

@inproceedings{pople1973ijcai-mechanization,
  title     = {{On the Mechanization of Abductive Logic}},
  author    = {Pople, Harry E.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {147-152},
  url       = {https://mlanthology.org/ijcai/1973/pople1973ijcai-mechanization/}
}