TY  - BOOK
AU  - Mulkers Anne
TI  - Live data structures in logic programs : derivation by means of abstract interpretation
SN  - 3-540-56694-5
U1  - 005.115 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Data structure
KW  - Logic programming
ER  -