Stefan Klingenbeck

	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

Coauthor Index

1	Peter Deussen	[4]
2	Reiner Hähnle	[2] [6]
3	A. Hansmann	[4]
4	Thomas Käufl	[1] [4] [5]

Colors in the list of coauthors