TY  - BOOK
AU  - Mulkers,Anne
TI  - Live data structures in logic programs : derivation by means of abstract interpretation
SN  - 3540566945
AV  - QA76.63 M86
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
ER  -