Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; Michael Raulf; Mira Mezini (PPDP, 2016)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Michael Raulf; Mira Mezini (Sci. Comput. Program., 2018)