1. Threaded Code;Bell;Commun. ACM,1973
2. The Compilation of λProlog and Its Execution with MALI;Brisset;Technical Report 687,1992
3. The Architecture of an Implementation of λProlog: Prolog/Mali;Brisset,1994
4. Cheyers, A., personal communication, Apr. 1993.
5. A Portable and Efficient Implementation of KL1;Chikayama,1994