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, P. Koopmann, und F. Kriegel. LTCS-Report, 23-03. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2023)
F. Baader, F. Kriegel, und A. Nuradiansyah. LTCS-Report, 24-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2024)
D. Kiakou, A. Adamopoulos, und N. Scherf. Worldwide Congress on “Genetics, Geriatrics and Neurodegenerative Diseases Research", Seite 223--230. Springer, (2022)
F. Baader, und R. Wassermann. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, Seite 94–105. International Joint Conferences on Artificial Intelligence Organization, (November 2024)
