A Tableau-Like Representation Framework for Efficient Proof Reconstruction.

Stephan Schmitt

Browse the full TABLEAUX paper archive.