TY  - BOOK
AU  - Mulkers, Anne.
TI  - Live Data Structures in Logic Programs: Derivation by means of abstract interpretation
SN  - 3540566945
CY  - Berlin
KW  - Computer Science
ER  -