000 00384nam a2200133 4500
008 160616s 000 0
245 _aThird International conference on logic programming,proceedings,1986
100 _aShapiro, E., Ed
260 _aBerlin
260 _bSpringer-Verlag
440 _aLecture notes in computer science ; 00225
942 _cBK
_2BK7190
080 _a681 LNCS
999 _c7190
_d7190