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)