Graph based proof procedures for horn clauses - Raatz S (Birkhauser Boston, 1990)
Keywords: Computer programming; Computer science