Rabe, FlorianHölldobler, Steffen2020-08-212020-08-212009978-3-88579-413-4https://dl.gi.de/handle/20.500.12116/33600deRepresenting Logics and Logic Translations (Repräsentation von Logiken und Logik-Übersetzungen)1617-5468