000 00339nam a2200133 4500
008 160616s 000 0
245 _aNegation and control in prolog
100 _aNaish, L
260 _aBerlin
260 _bSpringer-Verlag
440 _aLecture notes in computer science ; 00238
942 _cBK
_2BK7225
080 _a681 LNCS
999 _c7225
_d7225