Cyrus Katrak

	2008
1		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)

Coauthor Index

1	Jeremy Bongio	[1]
2	Hai Lin	[1]
3	Christopher Lynch	[1]
4	Ralph Eric McGregor	[1]