Unsatisfiability Proofs for Horn Solving.

Rodrigo Otoni, Martin Blicha, Matias Barandiaran Rivera, Patrick Eugster, Jan Kofron, Natasha Sharygina

Browse the full TACAS paper archive.