Automated Theorem Proving A Logical Basis - Loveland, D.W (Elsevier Science, 2014)
Description based on publisher supplied metadata and other sources