AUAOMATED THEOREM PROVING. - Newborn,Monty (Springer-Verlag, New York, 2001)
With Cd -- Rom.
Keywords: Automatic Theorem Proving