@techreport{aufsatz6176,
    affiliation = {Grundlagen der Programmierung},
    title = {Deaccumulation Techniques for Improving Provability},
    journal = {Technical Report TUD-FI05-14},
    keywords = {-},
    pages = {1--50},
    location = {TU Dresden},
    year = {2005},
    peerreview = {Nein},
    openaccess = {Ja},
    doi = {http://www.orchid.inf.tu-dresden.de/gdp/technical_reports/TUD-FI05-14.pdf},
    edition = {Neuerscheinung},
    author = {Giesl, J. and Kühnemann, A. and Voigtländer, J.}
}