Steven Trac

	2008
3		Steven Trac, Geoff Sutcliffe, Adam Pease: Integration of the TPTPWorld into SigmaKEE. PAAR/ESHOL 2008
2		Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac: The Annual SUMO Reasoning Prizes at CASC. PAAR/ESHOL 2008
	2007
1		Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007)

Coauthor Index

1	Adam Pease	[2] [3]
2	Yury Puzis	[1]
3	Nick Siegel	[2]
4	Geoff Sutcliffe	[1] [2] [3]