The covering lemma for K. - Tony Dodd 001; Ronald Jensen (Ann. Math. Log., 1982)

Book reviews. - Simon Ross; Tony Dodd 001; Wendy J. Milne; Mervyn Bennun; Elpida T. Keravnou; Stephen John Turner; Stephen J. Maskell; Kathryn Seifert; Chris Alphey; Yasmin Merali; Jason Cooper; Saad A. Mehdi (Artif. Intell. Rev., 1987)

Book reviews. - Tony Dodd 001; Leonard Bolc; Paul Taylor; Judith Wusterman; Blay Whitby; Carlton McDonald; J. Garwood; Jim Sholicar; Wendy J. Milne; Michael Pengelly; Tony Priest; Antony Galton; et al. (Artif. Intell. Rev., 1988)

Book reviews. - Stephen J. Maskell; R. A. Cobley; Leonard Bolc; Ajit Narayanan; G. H. Hall; Richard S. Forsyth; Tony Dodd 001 (Artif. Intell. Rev., 1988)

Book reviews. - Blay Whitby; John Rosbottom; Richard S. Forsyth; S. C. Hand; Janice Clausen; Leonard Bolc; Steve Hedges; John Wolstencroft; Simon Ross; J. Garwood; Tony Dodd 001; Stephen J. Maskell; et al. (Artif. Intell. Rev., 1989)

Prolog - a logical approach. - Tony Dodd 001 (Oxford University Press, 1990)

Book reviews. - Tony Drapkin; Allan Ramsay; Steve Hedges; Aidan P. Magill; Edwin P. Curran; Madjid Merabti; Miranda Davies; Tony Dodd 001; Terence C. Fogarty (Artif. Intell. Rev., 1990)

Book reviews. - David Gilmore; Geoff Cumming; Simon Ross; John Rosbottom; Elpida T. Keravnou; Tony Dodd 001; Madjid Merabti; G. Byron; Leonard Bolc; Ian Crookston (Artif. Intell. Rev., 1990)

Book reviews. - Hugh Weston Rooms; Daune West; Tony Gillie; John Macdonald; John Billingsley; Tony Dodd 001; Derek Long; Allan Ramsay (Artif. Intell. Rev., 1990)

Gödel, Penrose and the possibility of AI. - Tony Dodd 001 (Artif. Intell. Rev., 1991)

Book reviews. - Hyacinth S. Nwana; Tony Drapkin; Tony Dodd 001; Leonard Bolc; Alan F. Smeaton; Ajit Narayanan (Artif. Intell. Rev., 1991)