Patrick Wischnewski

	2009
3		Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski: SPASS Version 3.5. CADE 2009: 140-145
2		Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288
	2008
1		Christoph Weidenbach, Patrick Wischnewski: Contextual Rewriting in SPASS. PAAR/ESHOL 2008

Coauthor Index

1	Dilyana Dimova	[3]
2	Arnaud Fietzke	[3]
3	Rohit Kumar	[3]
4	Manuel Lamotte-Schubert	[2]
5	Gerard de Melo	[2]
6	Martin Suda	[2] [3]
7	Geoff Sutcliffe	[2]
8	Christoph Weidenbach	[1] [3]