Title: A computational logic handbook
Subjects: Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical