![]() | ![]() |
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] |