Title: Graph-based proof procedures for horn clauses
Subjects: Graph theory, Horn clauses, Logic programming, Proof theory, Data processing