1. T. Chikayama, T. Fujise, and D. Sekita, “A Portable and Efficient Implementation of KL1,” Proc. International Symposium on Programming Language Implementation and Logic Programming, LNCS 844, pp.25–39, 1994.
2. K. Ueda and T. Chikayama, “Design of the Kernel Language for the Parallel Inference Machine,” The Computer Journal, Vol.33, No.6, pp.494–500, 1990.
3. K. Rokusawa, N. Ichiyoshi, T. Chikayama, and H. Nakashima, “An Efficient Termination Detection and Abortion Algorithm for Distributed Processing Systems,” Proc. International Conference on Parallel Processing, Vol.I, pp.18–22, 1988.
4. K. Nakajima, Y. Inamura, N. Ichiyoshi, K. Rokusawa, and T. Chikayama, “Distributed Implementation of KL1 on the Multi-PSI/V2,” Proc. International Conference on Logic Programming, pp.436–451, 1989.
5. K. Hirata, R. Yamamoto, A. Imai, H. Kawai, K. Hirano, T. Takagi, K. Taki, A. Nakase, and K. Rokusawa, “Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1,” Proc. International Conference on Fifth Generation Computer Systems 1992, pp.436–459, 1992.