- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 2 |      | William McCune, Olga Shumsky: System Description: IVY. CADE 2000: 401-405 |
| 1997 | ||
| 1 | | Olga Shumsky, Ralph W. Wilkerson, William McCune, Fikret Erçal: Direct finite first-order model generation with negative constraint propagation heuristic. SAC 1997: 25-29 |
| 1 | Fikret Erçal | [1] |
| 2 | William McCune | [1] [2] |
| 3 | Ralph W. Wilkerson | [1] |