Stan Raatz

• Graph-based proof procedures for horn clauses