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