Semantic Tableaux with Ordering Restrictions. - Stefan Klingenbeck; Reiner Hähnle (CADE, 1994)

Tatzelwurm. - Thomas Käufl; Stefan Klingenbeck (FTRTFT, 1994)

The Verification System Tatzelwurm. - Peter Deussen; A. Hansmann; Thomas Käufl; Stefan Klingenbeck (KORSO Book, 1995)

Tatzelwurm. - Stefan Klingenbeck; Thomas Käufl (Formal Development of Reactive Systems, 1995)

Generating Finite Counter Examples with Semantic Tableaux. - Stefan Klingenbeck (TABLEAUX, 1995)

A-Ordered Tableaux. - Reiner Hähnle; Stefan Klingenbeck (J. Log. Comput., 1996)

Counter examples in semantic tableaux. - Stefan Klingenbeck (Infix, 1997)