First Order Logic And Automated Theorem Proving - Gries, David (Springer Publications, 1996)