1. Technical Report;J. Gabriel,1984
2. J. Gabriel, T. Lindholm, E. L. Lusk, and R. A. Overbeek, “Logic Programming on the HEP,” in Parallel MIMD Computation: The HEP Supercomputer and its Applications, ed. J. S. Kowalik, The MIT Press (1985).
3. Steven Gregory, Design, application and implementation of a parallel logic programming language, Doctoral Thesis, Imperial College of Science and Technology, London, September 1985.
4. E. Lusk, William McCune, and R. Overbeek, “Logic machine architecture: kernel functions,” pp. 70–84 in Proceedings of the Sixth Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 138, ed. D. W. Loveland, Springer-Verlag, New York (1982).
5. E. Lusk, William McCune, and R. Overbeek, “Logic machine architecture: inference mechanisms,” pp. 85–108 in Proceedings of the Sixth Conference on Automated Deduction, Springer-Verlag Lecture Notes in Computer Science, Vol. 138, ed. D. W. Loveland, Springer-Verlag, New York (1982).