| |
| * | 2000 | |
|---|---|---|
| 2 | EE | William McCune, Olga Shumsky: System Description: IVY. CADE 2000: 401-405 |
| 1997 | ||
| 1 | EE | 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] |