Citation
Raphael, B., Fikes, R., & Waldinger, R. (1973). Research in advanced formal theorem-proving techniques (No. NASA-CR-135840).
Abstract
This report summaries the results of a three-year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning.
