000 00552nam a2200193 4500
008 160616s1990 000 0
245 _aAlgebraic and Logic Programming
_bProceedings, Second Int. Conf. Nancy, France, 1990
100 _aKirchner, H. Ed.
100 _aWechler, W. Ed.
260 _aBerlin
260 _bSpringer Verlag
260 _c1990
300 _a386
440 _aLecture notes in computer science ; 00463
020 _a3540531629
650 _aAlgebraic
_aLogic Programming
942 _cBK
_2BK13876
080 _a681 LNCS
999 _c13876
_d13876