A Portable and Efficient Implementation of KL1 (1994)

by T Chikayama, T Fujise, D Sekita
Venue:In Proc. Sixth Int. Symp. on Programming Language Implementation and Logic Programming (PLILP’94), LNCS 844