Compiling Logics. - Mihai Codescu; Feryal Fulya Horozal; Aivaras Jakubauskas; Till Mossakowski; Florian Rabe 001 (WADT, 2012)