An Architecture for Parallel Logic Languages. - Jim A. Crammond; C. D. F. Miller (ICLP, 1984)

A Comparative Study of Unification Algorithms for OR-Parallel Execution of Logic Languages. - Jim A. Crammond (IEEE Trans. Computers, 1985)

An Execution Model for Committed-Choice Non-Deterministic Languages. - Jim A. Crammond (SLP, 1986)

Benchmarking Prolog for Database Applications. - M. Howard Williams; P. A. Massey; Jim A. Crammond (Prolog and Databases, 1988)

A garbage collection algorithm for shared memory parallel processors. - Jim A. Crammond (Int. J. Parallel Program., 1988)

Comparison of Two Shared-Memory Emulators for Flat Committed-Choice Logic Programs. - Evan Tick; Jim A. Crammond (ICPP (2), 1990)

Scheduling and Variable Assignment in the Parallel PARLOG Implementation. - Jim A. Crammond (NACLP, 1990)

The Abstract Machine and Implementation of Parallel Parlog. - Jim A. Crammond (New Gener. Comput., 1992)

Memory Management in Quintus Prolog. - Jim A. Crammond; Tim Lindholm (ICLP-Workshops on Implementation of Logic Programming Systems, 1993)