| |
| 1996 | ||
|---|---|---|
| 6 | Reiner Hähnle, Stefan Klingenbeck: A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996) | |
| 1995 | ||
| 5 | Stefan Klingenbeck, Thomas Käufl: Tatzelwurm. Formal Development of Reactive Systems 1995: 247-259 | |
| 4 | Peter Deussen, A. Hansmann, Thomas Käufl, Stefan Klingenbeck: The Verification System Tatzelwurm. KORSO Book 1995: 285-298 | |
| 3 | Stefan Klingenbeck: Generating Finite Counter Examples with Semantic Tableaux. TABLEAUX 1995: 31-46 | |
| 1994 | ||
| 2 | Stefan Klingenbeck, Reiner Hähnle: Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722 | |
| 1 | Thomas Käufl, Stefan Klingenbeck: Tatzelwurm. FTRTFT 1994: 786-786 | |
| 1 | Peter Deussen | [4] |
| 2 | Reiner Hähnle | [2] [6] |
| 3 | A. Hansmann | [4] |
| 4 | Thomas Käufl | [1] [4] [5] |