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

by John D McCharen, Ross A Overbeek, Larry Wos
Venue:Computers and Mathematics with Applications