Ralph Eric McGregor

	2009
3		Christopher Lynch, Ralph Eric McGregor: Combining Instance Generation and Resolution. FroCos 2009: 304-318
	2008
2		Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SMT. Electr. Notes Theor. Comput. Sci. 198(2): 71-84 (2008)
	2007
1		Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SAT. CADE 2007: 476-491

Coauthor Index

1	Jeremy Bongio	[2]
2	Todd Deshane	[1]
3	Wenjin Hu	[1]
4	Patty Jablonski	[1]
5	Cyrus Katrak	[2]
6	Hai Lin	[1] [2]
7	Christopher Lynch	[1] [2] [3]