@inproceedings{mci/Rabe2009,
author = {Rabe, Florian},
title = {Representing Logics and Logic Translations (Repräsentation von Logiken und Logik-Übersetzungen)},
booktitle = {Ausgezeichnete Informatikdissertationen 2008},
year = {2009},
editor = {Hölldobler, Steffen AND et al.} ,
pages = { 201-210 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}