TY  - GEN
AU  - Kirchner, H.
AU  - Levi, G.
AU  - 
TI  - ALGEBRAIC AND LOGIC PROGRAMMING
SN  - 354055873X
U1  - 001.64 
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer Science -- Congresses
UR  - http://link.springer.com/bookseries/558
ER  -