1. M. Carlsson, J. Widén, J. Andersson, S. Andersson, K. Brootz, H. Nilsson, and T. Sjölaad. SICStus Prolog User's Manual, 1993.
2. T. Chikayama, H. Sato, and T. Miyazaki. Overview of the parallel inference machine operating system (PIMOS). In Proceedings of FGCS'88, pages 230–251, Tokyo, Japan, 1988.
3. T. Chikayama, T. Fujise and D. Sekita. A portable and efficient implementation of KL1. In Proceedings of PLILP'94, pages 25–39, Springer-Verlag, Berlin, 1994.
4. A. Goto, M. Sato, K. Nakajima, K. Taki, and A. Matsumoto. Overview of the parallel inference machine architecture (PIM). In Proceedings of FGCS'88, Tokyo, Japan, 1988.
5. D. Gudeman, K. De Bosschere, and S. K. Debray. jc: an efficient and portable sequential implementation of Janus. In Proceedings of the Joint International Conference and Symposium on Logic Programming, The MIT Press, 1992.