An Introduction to Gödel. - Antony Francis Bowers; Patricia M. Hill (ALPUK, 1992)

Resolution for Logic Programming with Universal Quantifiers. - Antony Francis Bowers; Patricia M. Hill; Francisco Ibañez (PLILP, 1997)

Effective meta-programming in declarative languages. - Antony Francis Bowers (1998)

Classification of Individuals with Complex Structure. - Antony Francis Bowers; Christophe G. Giraud-Carrier; John W. Lloyd (ICML, 2000)