Takashi Chikayama, Tetsuro Fujise and Daigo Sekita, "A Portable and Efficient Implementation of KL1", PLILP'94 (LNCS #844, Springer-Verlag).

Languages mentioned

• KL1 {1988} Kernel Language 1
• KLIC {1994}