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