Deduction : automated logic - Bibel, Wolfgang; Houdobler, Steffen; Lekuse, Monika; Sanella, Donald (London : Academic Press, 1993)
Vol. 1. Foundations - Calculi and methods - v. 2. Systems and implementation techniques - v. 3. Applications
Includes bibliographical references and index
Keywords: Automatic theorem proving; Logic, Symbolic and mathematical