Automated reasoning - Wos, Larry (Prentice-Hall, 1984)