| |
| 1996 | ||
|---|---|---|
| 3 | Alain Heuerding, Michael Seyfried, Heinrich Zimmermann: Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. TABLEAUX 1996: 210-225 | |
| 2 | Alain Heuerding, Gerhard Jäger, Michael Schwendimann, Michael Seyfried: A Logics Workbench. AI Commun. 9(2): 53-58 (1996) | |
| 1995 | ||
| 1 | Alain Heuerding, Gerhard Jäger, Stefan Schwendimann, Michael Seyfried: Propositional Logics on the Computer. TABLEAUX 1995: 310-323 | |
| 1 | Alain Heuerding | [1] [2] [3] |
| 2 | Gerhard Jäger | [1] [2] |
| 3 | Michael Schwendimann | [2] |
| 4 | Stefan Schwendimann | [1] |
| 5 | Heinrich Zimmermann | [3] |