1. K. Ueda and T. Chikayama, “Design of the Kernel Language for the Parallel Inference Machine,” The Computer Journal, 33(6): 494–500, Oxford University Press, 1990.
2. K. Ueda, “Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard,” Technical Report 208, ICOT, 1986.
3. T. Chikayama, “Operating System PIMOS and Kernel Language KL1,” Proc. International Conference on Fifth Generation Computer Systems 1992, pp. 73–88, Ohmsha, 1992.
4. K. Taki, “Parallel Inference Machine PIM,” Proc. International Conference on Fifth Generation Computer Systems 1992, pp. 50–72, Ohmsha, 1992.
5. E. Shapiro, “Systems Programming in Concurrent Prolog,” M. van Canegham and D. H. D. Warren (eds.), Logic Programming and its Applications, pp. 50–74, Albex Publishing Co., 1986.