The Simplifier of the Program Verifier "Tatzelwurm". - Thomas Käufl (ÖGAI, 1985)

Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities. - Thomas Käufl (CADE, 1986)

Reasoning about Theories with a Finite Model. - Thomas Käufl (ÖGAI, 1987)

Reasoning about Systems of Linear Inequalities. - Thomas Käufl (CADE, 1988)

Vereinfachung logischer Formeln in einem Vorbeweiser. - Thomas Käufl (1988)

The Theorem Prover of the Program Verifier Tatzelwurm. - Thomas Käufl; Nicolas Zabel (CADE, 1990)

The Prover of the Program Verification System Tatzelwurm. - Thomas Käufl (TABLEAUX, 1992)

The Program Verifier Tatzelwurm. - Thomas Käufl (STACS, 1993)

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)