Complexity and related enhancements for automated theorem-proving programs (1976)

by J McCharen, R Overbeek, L Wos
Venue:Computers and Mathematics with Applications