First-Order Logic and Automated Theorem Proving - Fitting, Melvin (Springer Nature, 2012)
Keywords: Automatic theorem proving; Logic, Symbolic and mathematical; Mathematics. General principles