FIRST ORDER LOGIC AND AUTOMATED THEOREM PROVING (TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE) - FITTING,MELVIN (SV NEW YORK, 1990)
BR-737