Yury Puzis

	2009
4		Alex Roederer, Yury Puzis, Geoff Sutcliffe: Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. CADE 2009: 157-162
	2007
3		Geoff Sutcliffe, Yury Puzis: SRASS - A Semantic Relevance Axiom Selection System. CADE 2007: 295-310
2		Steven Trac, Yury Puzis, Geoff Sutcliffe: An Interactive Derivation Viewer. Electr. Notes Theor. Comput. Sci. 174(2): 109-123 (2007)
	2006
1		Yury Puzis, Yi Gao, Geoff Sutcliffe: Automated Generation of Interesting Theorems. FLAIRS Conference 2006: 49-54

Coauthor Index

1	Yi Gao	[1]
2	Alex Roederer	[4]
3	Geoff Sutcliffe	[1] [2] [3] [4]
4	Steven Trac	[2]