000 00348nam a2200157 4500
082 _a004 HAN-A
100 _aHanus, Michael
_e
245 _aAlgebraic and logic programming
_cMichael Hanus
250 _a
260 _aSpringer-Verlag, Berlin
_c1996
300 _a
490 _a
650 _aComputer science
700 _a
_e
942 _cBK
999 _c446250
_d446250