Deduction Systems - Socher-Ambrosius, Rolf.; Johann, Patricia (New York: Springer, 1996)
Includes bibliographical references & index.
Keywords: Autimatic Theorem Proving