@inbook{Amarel+1967+125+220,
url = {https://doi.org/10.3138/9781487592769-010},
title = {An Approach to Heuristic Problem Solving and Theorem Proving in the Prepositional Calculus},
booktitle = {Systems and Computer Science},
booktitle = {Proceedings of a Conference held at the University of Western Ontario September 10-11, 1965},
author = {Saul Amarel},
editor = {John Hart and Satoru Takasu},
publisher = {University of Toronto Press},
address = {Toronto},
pages = {125--220},
doi = {doi:10.3138/9781487592769-010},
isbn = {9781487592769},
year = {1967},
lastchecked = {2026-05-02}
}