Antony Francis Bowers

An Introduction to Gödel

Patricia M. Hill, Antony Francis Bowers, P. Hill, 1992, ALPUK.

Effective meta-programming in declarative languages

Antony Francis Bowers, A. F. Bowers, 1998 .

Resolution for Logic Programming with Universal Quantifiers

Francisco Ibañez, Patricia M. Hill, Antony Francis Bowers, 1997, PLILP.

Classification of Individuals with Complex Structure

John W. Lloyd, Christophe G. Giraud-Carrier, Antony Francis Bowers, 2000, ICML.