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