Arnaud Fietzke

	2009
3		Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski: SPASS Version 3.5. CADE 2009: 140-145
	2008
2		Christoph Benzmüller, Lawrence C. Paulson, Frank Theiss, Arnaud Fietzke: LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description). IJCAR 2008: 162-170
1		Arnaud Fietzke, Christoph Weidenbach: Labelled Splitting. IJCAR 2008: 459-474

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[2]
2	Dilyana Dimova	[3]
3	Rohit Kumar	[3]
4	Lawrence C. Paulson	[2]
5	Martin Suda	[3]
6	Frank Theiss	[2]
7	Christoph Weidenbach	[1] [3]
8	Patrick Wischnewski	[3]

Colors in the list of coauthors