Propositional Proof Skeletons.

Joseph E. Reeves, Benjamin Kiesl-Reiter, Marijn J. H. Heule

Browse the full TACAS paper archive.