Automated Theorem Proving: Theory and Practice - NEWBORN;MONTY (New York:Springer-Verlag, 2001)
Keywords: Mathematical Principles