Proof Output and Transformation for Disconnection Tableaux. - Philipp Correll; Gernot Stenz (TABLEAUX, 2005)