- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 1 | Todd Deshane | [1] |
| 2 | Wenjin Hu | [1] |
| 3 | Hai Lin | [1] |
| 4 | Christopher Lynch | [1] |
| 5 | Ralph Eric McGregor | [1] |