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