Schmitt, Stephan ; Kreitz, (1998)
Deleting redundancy in proof reconstruction.
Konferenzveröffentlichung, Bibliographie

Korn, Daniel ; Kreitz, (1997)
Deciding intuitionistic propositional logic via translation into classical logic.
Konferenzveröffentlichung, Bibliographie

Schmitt, Stephan ; Kreitz, (1996)
On converting non-classical matrix proofs into sequent -style systems.
Konferenzveröffentlichung, Bibliographie

Bibel, Wolfgang ; Korn, ; Kreitz, ; Schmitt, (1996)
Problem-oriented applications of automated theorem proving.
In: Design and implementation of symbolic computation systems
Buchkapitel, Bibliographie

Schmitt, S. ; Kreitz, (1995)
On transforming intuitionistic matrix proofs into standard-sequent proofs.
Konferenzveröffentlichung, Bibliographie

Otten, J. ; Kreitz, (1995)
A connection based proof method for intuitionistic logic.
Konferenzveröffentlichung, Bibliographie