Reihe Lecture Notes in Computer ScienceAnne Mulkers ×eBooks × Live Data Structures in Logic ProgramsDerivation by Means of Abstract InterpretationAnne MulkersSpringer BerlineBook2005