Problems and experiments for and with automated theorem proving programs (1976)

by J McCharen, R Overbeek, L Wos
Venue:IEEE Transactions on Computers