PLANNER: A Language for Proving Theorems
Unknown author (1967-07-01)
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.