1. Ueda, K. and Chikayama, T., “Design of the Kernel Language for the Parallel Inference Machine,”The Computer Journal, 33, 6, pp. 494–500, 1990.
2. Nakajima, K., Inamura, Y., Ichiyoshi, N., Rokusawa, K., and Chikayama, T., “Distributed Implementation of KL1 on the Multi-PSI/V2,”Proc. International Conference on Logic Programming, pp. 436–451, 1989.
3. Hirata, K., Yamamoto, R., Imai, A., Kawai, H., Hirano, K., Takagi, T., Taki, K., Nakase, A., and Rokusawa, K., “Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1,”Proc. International Conference on Fifth Generation Computer Systems, pp. 436–459, 1992.
4. Chikayama, T., “Operating System PIMOS and Kernel Language KL1,”Proc. International Conference on Fifth Generation Computer Systems, pp. 73–88, 1992.
5. Nitta, K., Taki, K., and Ichiyoshi, N., “Experimental Parallel Inference Software,”Proc. International Conference on Fifth Generation Computer Systems, pp. 166–190, 1992.