Towards a Semantics of Unsatisfiability Proofs with Inprocessing.

Tobias Philipp, Adrin Rebola-Pardo

Browse the full LPAR paper archive.