Kernel Andorra Prolog and its Computation Model (1990)

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