["Kernel Andorra Prolog and its Computation Model", S. Haridi

[email protected] et al, in Logic Programming: Proc 7th Intl

Conf, MIT Press 1990].