Reusing Proofs. - Thomas Kolbe; Christoph Walther (ECAI, 1994)

Patching Proofs for Reuse (Extended Abstract). - Thomas Kolbe; Christoph Walther (ECML, 1995)

Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. - Thomas Kolbe; Christoph Walther (IJCAI, 1995)

Termination of Theorem Proving by Reuse. - Thomas Kolbe; Christoph Walther (CADE, 1996)

Optimizing proof search by machine learning techniques. - Thomas Kolbe (Shaker, 1997)

Plagiator - A Learning Prover. - Thomas Kolbe; Jürgen Brauburger (CADE, 1997)

Many-Sorted Logic in a Learning Theorem Prover. - Thomas Kolbe; Sabine Glesner (KI, 1997)

Proving theorems by reuse. - Christoph Walther; Thomas Kolbe (Artif. Intell., 2000)

On Terminating Lemma Speculations. - Christoph Walther; Thomas Kolbe (Inf. Comput., 2000)