| |
| 1995 | ||
|---|---|---|
| 2 | Alan Bundy, Vincent Lombart: Relational Rippling: A General Approach. IJCAI 1995: 175-181 | |
| 1993 | ||
| 1 | Vincent Lombart, Geraint A. Wiggins, Yves Deville: Guiding Synthesis Proofs. LOPSTR 1993: 67-81 | |
| 1 | Alan Bundy | [2] |
| 2 | Yves Deville | [1] |
| 3 | Geraint A. Wiggins | [1] |