@inproceedings{ ruemmer05,
    author = "Philipp R{\"u}mmer",
    title = "Generating Counterexamples for {Java} {Dynamic} {Logic}",
    booktitle = "Preliminary Proceedings of Workshop on Disproving at CADE 20",
    year = "2005" }