1. Aït-Kaci, H., Warren’s Abstract Machine: A Tutorial Reconstruction. The MIT Press, Cambridge, MA, 1991.
2. Lect Notes Comput Sci;Y. Ajiro,1998
3. Ajiro, Y. and Ueda, K., Kima-an Automated Error Correction System for Concurrent Logic Programs. In Proc. Fourth Int. Workshop on Automated Debugging (AADEBUG 2000), Ducassé, M. (ed.), 2000. http://www.irisa.fr/lande/ducasse/aadebug2000/proceedings.html
4. Apt, K. R., Marek, V. W., Truszczynski M., and Warren D. S. (eds.), The Logic Programming Paradigm: A 25-Year Perspective. Springer-Verlag, Berlin, 1999.
5. Bowen, K. A. and Kowalski, R. A., Amalgamating Language and Meta-Language in Logic Programming. In Logic Programming, Clark, K. L. and Tärnlund, S. Å. (eds.), Academic Press, London, pp. 153–172, 1982.