The Resolution Calculus (Softcover Reprint of the Original 1st 1997)Paperback - Softcover Reprint of the Original 1st 1997, 28 September 2011

This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The book deals with the traditional topics in new ways and gives a systematic treatment of recent research topics. It should become a standard reference.