1. Aït-Kaci, H. and Nasr, R., LOGIN: A Logic Programming Language withBuilt-In Inheritance. J. Logic Programming, Vol. 3, No. 3 (1986), pp. 185–215.
2. Lect Notes Comput Sci;Y. Ajiro,1998
3. Ajiro, Y. and Ueda, K., Kima: an Automated Error Correction System for Concurrent Logic Programs. To appear in Automated Software Engineering, 2001.
4. Baker, H. G., Lively Linear Lisp—‘Look Ma, No Garbage!’ Sigplan Notices, Vol. 27, No. 8 (1992), pp. 89–98.
5. Chikayama, T. and Kimura, Y., Multiple Reference Management in Flat GHC. In Logic Programming: Proc. of the Fourth Int. Conf. (ICLP’87), The MIT Press, 1987, pp. 276–293.