Kernel Andorra Prolog and its Computational Model (1990)

by S Haridi, S Janson
Venue:In Proceedings of the International Conference on Logic Programming