First Order Logic and Automated Theorem Proving (1996)

by M Fitting