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, and F. Kriegel. LTCS-Report, 22-02. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)
