Graph-Based Proof Procedures for Horn Clauses
Stan Raatz · Birkhäuser Boston eBooks · 1990
The origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerned with proof procedures for the Horn clause subset of logic. The rise of logic p