Schmitt, Stephan ; Kreitz, (1998):
Deleting redundancy in proof reconstruction.
In: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods <1998, Oisterwijk, The Netherlands>: Proceedings. Hrsg.: H. de Swart. - Berlin (u.a.): Springer, 1998. S. 262-276, 1397, Berlin (u.a.), Springer, [Conference or Workshop Item]

Bibel, Wolfgang ; Korn, ; Kreitz, ; Kurucz, ; Otten, ; Schmitt, ; Stolpmann, (1998):
A multi-level approach to program synthesis.
In: International Workshop on Logic Program Synthesis and Transformation <7, 1998, Louvain>: Proceedings. Hrsg.: N. Fuchs. S. 1-27, 1463, Berlin (u.a.): Springer, 1998, Berlin (u.a.), Springer, [Conference or Workshop Item]

Korn, Daniel ; Kreitz, (1997):
Deciding intuitionistic propositional logic via translation into classical logic.
In: International Conference on Automated Deduction <14, 1997>: Proceedings. Hrsg.: W. McCune. S. 131-145, 1249, Berlin, Heidelberg (u.a.): Springer, 1997, Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Schmitt, Stephan ; Kreitz, (1996):
On converting non-classical matrix proofs into sequent -style systems.
In: International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 418-432, 1104, Berlin (u.a.), Springer, [Conference or Workshop Item]

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996):
Problem-oriented applications of automated theorem proving.
1128, In: Design and implementation of symbolic computation systems. Hrsg.: J. Calmet (u.a.) . Berlin (u.a.): Springer, 1996, Berlin (u.a.), Springer, [Book Section]

Schmitt, S. ; Kreitz, (1995):
On transforming intuitionistic matrix proofs into standard-sequent proofs.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 106-121, 918, New York: Springer, 1995, New York, Springer, [Conference or Workshop Item]

Otten, J. ; Kreitz, (1995):
A connection based proof method for intuitionistic logic.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 122-137, 918, New York: Springer, 1995, New York, Springer, [Conference or Workshop Item]