A Portable and Efficient Implementation of KL1 (1994)

by T Chikayama, T Fujise, D Sekita
Venue:In Proceedings of the Symposium on Programming Languages Implementation and Logic Programming