| |
| 2008 | ||
|---|---|---|
| 1 | EE | 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) |
| 1 | Cyrus Katrak | [1] |
| 2 | Hai Lin | [1] |
| 3 | Christopher Lynch | [1] |
| 4 | Ralph Eric McGregor | [1] |