F. Baader, and F. De Bortoli. Proceedings of the 33rd International Workshop on Description Logics (DL'20), volume 2663 of CEUR Workshop Proceedings, Online, CEUR-WS, (2020)
F. Baader, and F. Kriegel. LTCS-Report, 22-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
T. Lehtonen, A. Rapberger, M. Ulbricht, and J. Wallner. Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, page 440--450. California, International Joint Conferences on Artificial Intelligence Organization, (September 2023)