A Portable and Reasonably Efficient Implementation of KL1.

Takashi Chikayama Tetsuro Fujise Hiroshi Yashiro A Portable and Reasonably Efficient Implementation of KL1. 833 1993 ICLP db/conf/iclp/iclp93.html#ChikayamaFY93