S. Raatz

• Graph-Based Proof Procedures for Horn Clauses