The origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerne... MoreGraph-Based Proof Procedures for Horn Clauses
Progress in Computer Science and Applied Logic
Show More Books
