F. Baader, und F. Kriegel. LTCS-Report, 22-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
F. Baader, und F. De Bortoli. Proceedings of the 33rd International Workshop on Description Logics (DL'20), Volume 2663 von CEUR Workshop Proceedings, Online, CEUR-WS, (2020)