Incremental Theory Reasoning Methods for Semantic Tableaux. - Bernhard Beckert; Christian Pape 001 (TABLEAUX, 1996)

Restart Tableaux with Selection Function. - Christian Pape 001; Reiner Hähnle (Kurt Gödel Colloquium, 1997)

Ordered Tableaux: Extensions and Applications. - Reiner Hähnle; Christian Pape 001 (TABLEAUX, 1997)

Interaktive Visualisierungen in der Lehre der Theoretischen Informatik. - Christian Pape 001; Peter Schmitt (Informatik und Ausbildung, 1998)

Animation strukturierter Beweise in der universitären Ausbildung. - Christian Pape 001 (1999)