Naish, L
Negation and control in prolog - Berlin Springer-Verlag - Lecture notes in computer science ; 00238 .
681 LNCS
Negation and control in prolog - Berlin Springer-Verlag - Lecture notes in computer science ; 00238 .
681 LNCS