"Kernel Andorra Prolog and its Computation Model", S. Haridi et al, in Logic Programming: Proc 7th Intl Conf, MIT Press 1990.
(1990)
Languages mentioned
KAP
{1990}