Graph-based proof procedures for horn clauses
By: Stan Raatz.
Series: Progress in computer science and applied logic ;; v. 10
Publisher: Birkhaüser
Published: 1990
Place of publication: Boston
Language: eng
Number of pages: 147
Subjects: Logic programming.; Horn clauses.; Graph theory.
Notes: Includes bibliographical references (p. [142]-147).