Naish, Lee "Negation and Control in Prolog" SpringerVerlag, LNCS 238 1986
(1986)
Languages mentioned
NU-Prolog
{1988}