Live data structures in logic programs : derivation by means of abstract interpretation / - Mulkers, Anne, (Springer-Verlag,, 1993)