Proof Output and Transformation for Disconnection Tableaux

Lecture Notes in Computer Science - Automated Reasoning with Analytic Tableaux and Related Methods ◽

10.1007/11554554_24 ◽

2005 ◽

pp. 312-317

Author(s):

Philipp Correll ◽

Gernot Stenz