Automated reasoning introduction and applications - Wos, Larry (Prentice-Hall, 1984)