Raatz, Stan <br/><br/>
Graph-Based Proof Procedures for Horn Clauses 

 - Boston  Birkhauser  1990 
 - 147p. 
<br/><br/><label>ISBN: </label>3764335300