Takashi Chikayama Tetsuro Fujise Daigo Sekita A Portable and Efficient Implementation of KL1. 25-39 1994 conf/plilp/1994 PLILP db/conf/plilp/plilp94.html#ChikayamaFS94 http://dx.doi.org/10.1007/3-540-58402-1_4