Flexible Proof-Replay with Heuristics. - Marc Fuchs 001 (EPIA, 1997)

Applying Case-Based Reasoning to Automated Deduction. - Marc Fuchs 001; Matthias Fuchs (ICCBR, 1997)

High Performance ATP Systems by Combining Several AI Methods. - Jörg Denzinger; Marc Fuchs 001; Matthias Fuchs (IJCAI (1), 1997)

System Description: Similarity-Based Lemma Generation for Model Elimination. - Marc Fuchs 001 (CADE, 1998)

System Description: Cooperation in Model Elimination: CPTHEO. - Marc Fuchs 001; Andreas Wolf (CADE, 1998)

Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. - Marc Fuchs 001 (ECAI, 1998)

Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. - Marc Fuchs 001; Matthias Fuchs (AI Commun., 1998)

Abstraction-Based Relevancy Testing for Model Elimination. - Marc Fuchs 001; Dirk Fuchs (CADE, 1999)

Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. - Marc Fuchs 001; Dirk Fuchs; Matthias Fuchs (GECCO, 1999)

Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference. - Marc Fuchs 001 (IJCAI, 1999)

Cooperation between Top-Down and Bottom-Up Theorem Provers. - Dirk Fuchs; Marc Fuchs 001 (J. Artif. Intell. Res., 1999)

Relevancy-based use of lemmas in connection tableau calculi. - Marc Fuchs 001 (Infix, 2000)

Controlled Use of Clausal Lemmas in Connection Tableau Calculi. - Marc Fuchs 001 (J. Symb. Comput., 2000)