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)

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

A New One-Pass Tableau Calculus for PLTL. - 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)