Automated theorem proving theory and practice - Newborn Monty (New York Springer-Verlag, 2001)
Keywords: Automatic theorem proving