Proof Output and Transformation for Disconnection Tableaux.

Philipp Correll, Gernot Stenz

Browse the full TABLEAUX paper archive.