LOGIC FOR COMPUTER SCIENCE: FOUNDATIONS OF AUTOMATIC THEOREM PROVING - GALLIER,JEAN H (JW NEW YORK, 1987)
PCV-2161