@conference{aufsatz59219,
    affiliation = {Grundlagen der Programmierung},
    title = {Deaccumulation — Improving Provability},
    journal = {8th Asian Computing Science Conference, ASIAN 2003},
    keywords = {-},
    pages = {146--160},
    publisher = {Springer-Verlag},
    location = {Mumbai, India},
    year = {2003},
    peerreview = {Ja},
    openaccess = {Ja},
    volume = {2896},
    doi = {http://www.orchid.inf.tu-dresden.de/gdp/monographs/deacc.pdf},
    author = {Giesl, Jürgen and Kühnemann, Armin and Voigtländer, Janis}
}