Unsatisfiability Proofs for Horn Solving. - Rodrigo Otoni; Martin Blicha; Matias Barandiaran Rivera; Patrick Eugster; Jan Kofron; Natasha Sharygina (TACAS (2), 2025)

Artifact for the paper Unsatisfiability Proofs for Horn Solving. - Rodrigo Otoni; Martin Blicha; Matias Barandiaran Rivera; Patrick Eugster; Jan Kofron; Natasha Sharygina (Zenodo, 2025)