@conference{aufsatz9705,
    affiliation = {Grundlagen der Programmierung},
    title = {The Substitution Vanishes},
    journal = {Proceedings of AMAST 2006},
    keywords = {-},
    pages = {173--188},
    publisher = {Springer Verlag},
    year = {2006},
    peerreview = {Nein},
    openaccess = {Ja},
    volume = {4019},
    doi = {http://wwwtcs.inf.tu-dresden.de/~maletti/pub/kuemal06.pdf},
    edition = {keiner},
    author = {Kühnemann, A. and Maletti, A.}
}