Automated theorem proving: Mapping logic into AI (1986)

by D W Loveland
Venue:In Proc. of the Int'l Symp. on Methodologies for Intelligent Systems. ACM SIGART