Issues in Theorem Proving Based on the Connection Method. - Wolfgang Bibel; Stefan Brüning; Uwe Egly; Daniel S. Korn; Thomas Rath (TABLEAUX, 1995)

Problem-Oriented Applications of Automated Theorem Proving. - Wolfgang Bibel; Daniel S. Korn; Christoph Kreitz; Stephen Schmitt (DISCO, 1996)

Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. - Daniel S. Korn; Christoph Kreitz (CADE, 1997)

A Multi-level Approach to Program Synthesis. - Wolfgang Bibel; Daniel S. Korn; Christoph Kreitz; F. Kurucz; Jens Otten; Stephen Schmitt; G. Stolpmann (LOPSTR, 1997)

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik. - Daniel S. Korn (Infix, 1999)