TY  - BOOK
AU  - Hanus, Michael (et-al) (Ed.)
TI  - Algebraic  and logic programming :Lecture notes in computer science : Proceedings
SN  - 0003540634592
U1  - 005.115 
PB  - Springer: Tokyo
KW  - logic programming
ER  -