Application of theorem-proving to problem solving (1969)

by C Green
Venue:In Proc. 1st Internat. Joint. Conf. Artificial Intelligence