Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini. Exploration of language specifications by compilation to first-order logic. Science of Computer Programming, 155:146-172, 2018. [doi]
@article{GreweEPRM18,
title = {Exploration of language specifications by compilation to first-order logic},
author = {Sylvia Grewe and Sebastian Erdweg and André Pacak and Michael Raulf and Mira Mezini},
year = {2018},
doi = {10.1016/j.scico.2017.08.001},
url = {https://doi.org/10.1016/j.scico.2017.08.001},
researchr = {https://researchr.org/publication/GreweEPRM18},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {155},
pages = {146-172},
}