00492cam a2200157 a 450000500170000000800410001702000150005803500150007305000170008810000180010524500920012326000370021530000110025244000490026365000220031220260818153553.0951014s1993    gw      r     000|0 eng d  a3540566945  a.b10405264 4aQA76.63bM861 aMulkers, Anne10aLive data structures in logic programs : derivation by means of abstract interpretation  aBerlin :bSpringer-Verlag,c1993  a220 p. 0aLecture notes in computer science ;vno. 675 0aLogic programming