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