@article{aufsatz10230,
    affiliation = {Grundlagen der Programmierung},
    title = {Deaccumulation Techniques for Improving Provability},
    journal = {Journal of Logic and Algebraic Programming},
    keywords = {-},
    year = {2007},
    peerreview = {Ja},
    openaccess = {Ja},
    doi = {http://www.orchid.inf.tu-dresden.de/gdp/reports/Deaccumulation.pdf},
    edition = {keiner},
    author = {Giesl, J. and Kühnemann, Armin and Voigtländer, Janis}
}