S. Raatz · 1 obras en el catálogoObrasGGraph-Based Proof Procedures for Horn ClausesGraph-Based Proof Procedures for Horn Clauses