| 2000 | ||
|---|---|---|
| 3 | Antony F. Bowers, Christophe G. Giraud-Carrier, John W. Lloyd: Classification of Individuals with Complex Structure. ICML 2000: 81-88 | |
| 1997 | ||
| 2 | Antony F. Bowers, Patricia M. Hill, Francisco Ibañez: Resolution for Logic Programming with Universal Quantifiers. PLILP 1997: 63-77 | |
| 1992 | ||
| 1 | Antony F. Bowers, Patricia M. Hill: An Introduction to Gödel. ALPUK 1992: 299-343 | |
| 1 | Christophe G. Giraud-Carrier | [3] |
| 2 | Patricia M. Hill | [1] [2] |
| 3 | Francisco Ibañez | [2] |
| 4 | John W. Lloyd | [3] |