Thomas Raths

	2008
3		Thomas Raths, Jens Otten: randoCoP: Randomizing the Proof Search Order in the Connection Calculus. PAAR/ESHOL 2008
	2007
2		Thomas Raths, Jens Otten, Christoph Kreitz: The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reasoning 38(1-3): 261-271 (2007)
	2005
1		Thomas Raths, Jens Otten, Christoph Kreitz: The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX 2005: 333-337

Coauthor Index

1	Christoph Kreitz	[1] [2]
2	Jens Otten	[1] [2] [3]