000			00317nam a22001337a 4500
008			170802b xxu||||| |||| 00| 0 eng d
020			_a0262081814
041			_aeng
080			_a004
100			_a32
101			_aSHKI
245			_aCONSTRAINT SATISFACTION IN LOGIC PROGRAMMING _cHENTENRYCK, P.V
942			_2udc _cBK
999			_c22572 _d22572