Compiling Logics

@inproceedings{pub6912,
    author = {

Codescu, Mihai
 and 

Horozal, Fulya
 and 

Jakubauskas, Aivaras
 and 

Mossakowski, Till
 and 

Rabe, Florian
},
    editor = {

Martí-Oliet, Narciso
 and 

Palomino, Miguel
},
    title = {Compiling Logics},
    booktitle = {Proceedings of the 21st International Workshop on Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), Recent Trends in Algebraic Development Techniques, June 7-10, Salamanca, Spain},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2013},
    volume = {7841},
    pages = {111--126},
    publisher = {Springer}
}