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)
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)