A Sequential Implementation of Parlog. - Ian T. Foster; Steve Gregory; Graem A. Ringwood; Ken Satoh (ICLP, 1986)

Parlog86 and the Dining Logicans. - Graem A. Ringwood (Commun. ACM, 1988)

Metalogic machines: a retrospective rationale for the Japanese Fifth Generation. - Graem A. Ringwood (Knowl. Eng. Rev., 1988)

Automated theorem proving (second revised edition) by Wolfgang Bibel, Vieweg 1987. - Graem A. Ringwood (Knowl. Eng. Rev., 1988)

A Comparative Exploration of Concurrent Logic Languages. - Graem A. Ringwood (Knowl. Eng. Rev., 1989)

An Abstract Machine for the Implementation of PARLOG on Uniprocessors. - Steve Gregory; Ian T. Foster; Alastair D. Burt; Graem A. Ringwood (New Gener. Comput., 1989)

Predicates and pixels. - Graem A. Ringwood (New Gener. Comput., 1989)

SLD: a folk acronym? - Graem A. Ringwood (ACM SIGPLAN Notices, 1989)

An Algebraic Framework for Abstract Interpretation of Definite Programs. - R. S. Kemp; Graem A. Ringwood (NACLP, 1990)

Collection Schemes for Distributed Garbage. - Saleh E. Abdullahi; Eliot E. Miranda; Graem A. Ringwood (IWMM, 1992)

Distributed Databases Tied with StrIng. - Daniel Cohen; Graem A. Ringwood (BNCOD, 1993)

Reynold and Heyling Models of Logic Programs. - R. S. Kemp; Graem A. Ringwood (ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, 1994)

How Agents Do It in Stream Logic Programming. - Matthew M. Huntbach; Nick R. Jennings; Graem A. Ringwood (ICMAS, 1995)

Programming In Concurrent Logic Languages. - Matthew M. Huntbach; Graem A. Ringwood (IEEE Softw., 1995)

Garbage Collecting the Internet: A Survey of Distributed Garbage Collection. - Saleh E. Abdullahi; Graem A. Ringwood (ACM Comput. Surv., 1998)

Agent-Oriented Programming, From Prolog to Guarded Definite Clauses. - Matthew M. Huntbach; Graem A. Ringwood (Springer, 1999)