Automated Theorem Proving: Mapping Logic into AI (1986)

by D W Loveland
Venue:In: Proceedings of the International Symposium on Methodologies for Intelligent Systems