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)
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)
{. Reimer, J. Huck, and A. Bondarenko. Working Notes Papers of the CLEF 2022 Evaluation Labs, volume 3180 of CEUR Workshop Proceedings, (September 2022)