AUTOMATED THEOREM PROVING (Amsterdam North Holland Publishing Co., 1978)
Keywords: Automatic Theorm Proving