Live data structures in logic programs : derivation by means of abstract interpretation - Mulkers, Anne, 1960- (Lecture notes in computer science ;, 1993)