QSQR: Quantitatively Scoped Qualitative Reasoning. - Craig MacNish; Antony Galton; John Gooday (SCAI, 1993)

A Logical Approach to Representing and Reasoning About Space. - Anthony G. Cohn 001; John Gooday; Brandon Bennett; Nicholas Mark Gotts (Artif. Intell. Rev., 1995)

Using Spatial Logic to Describe Visual Languages. - John Gooday; Anthony G. Cohn 001 (Artif. Intell. Rev., 1996)

Qualitative Spatial Representation and Reasoning with the Region Connection Calculus. - Anthony G. Cohn 001; Brandon Bennett; John Gooday; Nicholas Mark Gotts (GeoInformatica, 1997)

The Transition Calculus: a high-level formalism for reasoning about action and change. - John Gooday; Antony Galton (J. Exp. Theor. Artif. Intell., 1997)