F. Baader, F. Kriegel, und A. Nuradiansyah. Proceedings of the 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Virtual, September 26--28, 2022, Volume 13752 von Lecture Notes in Computer Science, Seite 227--243. Springer, (2022)
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. Kriegel. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 -- August 5, 2022, Seite 22--32. (2022)
F. Baader, P. Koopmann, F. Kriegel, und A. Nuradiansyah. Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)
F. Baader, P. Koopmann, F. Kriegel, und A. Nuradiansyah. LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
