Naish, Lee "Negation and quantifiers in NU-Prolog" pp624-634
(1986)
[Proceedings] (1986)
Proceedings 3rd International Conference on Logic Programming, New York, 1986, Springer-Verlag
Languages mentioned
NU-Prolog
{1988}