On the Modal Logic K Plus Theories. - Alain Heuerding; Stefan Schwendimann (CSL, 1995)

Propositional Logics on the Computer. - Alain Heuerding; Gerhard Jäger; Stefan Schwendimann; Michael Seyfried (TABLEAUX, 1995)

Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. - Alain Heuerding; Michael Seyfried; Heinrich Zimmermann (TABLEAUX, 1996)

A Logics Workbench. - Alain Heuerding; Gerhard Jäger; Michael Schwendimann; Michael Seyfried (AI Commun., 1996)

LWBtheory: Information about some Propositional Logics via the WWW. - Alain Heuerding (Log. J. IGPL, 1997)

Relations Between Propositional Normal Modal Logics: An Overview. - Rajeev Goré; Wolfgang Heinle; Alain Heuerding (J. Log. Comput., 1997)

Comparison of Theorem Provers for Modal Logics - Introduction and Summary. - Peter Balsiger; Alain Heuerding (TABLEAUX, 1998)

Logics Workbench 1.0. - Peter Balsiger; Alain Heuerding; Stefan Schwendimann (TABLEAUX, 1998)

A Benchmark Method for the Propositional Modal Logics K, KT, S4. - Peter Balsiger; Alain Heuerding; Stefan Schwendimann (J. Autom. Reason., 2000)