Kernel Andorra Prolog and its computation model (0)

by S Haridi, S Janson
Venue:In 7th International Conference of Logic Programming