Kernel Andorra Prolog and its Computation Model.

Seif Haridi, Sverker Janson

Browse the full ICLP paper archive.