F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Virtual, September 26--28, 2022, volume 13752 of Lecture Notes in Computer Science, page 227--243. Springer, (2022)
F. Baader, P. Koopmann, and 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, and 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, and N. Scherf. Worldwide Congress on “Genetics, Geriatrics and Neurodegenerative Diseases Research", page 223--230. Springer, (2022)
F. Baader, and R. Wassermann. Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, page 94–105. International Joint Conferences on Artificial Intelligence Organization, (November 2024)
