A Portable and Reasonably Efficient Implementation of KL1.

Takashi Chikayama, Tetsuro Fujise, Hiroshi Yashiro

Browse the full ICLP paper archive.