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}, }