PLANNER: A Language for Proving Theorems
Carl E. Hewitt · DSpace@MIT (Massachusetts Institute of Technology) · 1967
The following is a description of SCHEMATISE, a proposal for a program that proves very elementary theorems though the use of planning. The method is most easily explained through an example die to Black.