@Article{GE+18,
    Author       = "Grewe, S. and Erdweg, S. and Pacak, A. and Raulf, M. and Mezini, M.",
    Year         = "2018",
    Title        = "{Exploration of Language Specifications by Compilation to First-order Logic}",
    Journal      = "Science of Computer Programming",
    Volume       = "155",
    Pages        = "146-172",
    Publisher    = "Elsevier",
    Address      = "Amsterdam, The Netherlands",
    Comment      = "TPTPRef"
}

@InProceedings{GE+18-PPDP,
    Author       = "Grewe, S. and Erdweg, S. and Pacak, A. and Mezini, M.",
    Year         = "2018",
    Title        = "{System Description: An Infrastructure for Combining Domain Knowledge with
                    Automated Theorem Provers}",
    Editor       = "Thiemann, P.",
    BookTitle    = "{Proceedings of the 20th International Symposium on Principles and Practice of
                    Declarative Programming}",
    Place        = "Frankfurt, Germany",
    Pages        = "1-10",
    Publisher    = "ACM Press",
    Comment      = "TPTPRef"
}