DEDUCTION SYSTEMS - Socher-Ambrosis,Rolf; Johann,Patricia (Springer-Verlag, New York, 1997)
Includes Index
Keywords: Automatic Theorem Proving