M. Funk, M. Grosser, and C. Lutz. Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning, page 336–345. International Joint Conferences on Artificial Intelligence Organization, (November 2025)
F. Baader, and F. Bortoli. Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings, volume 15979 of Lecture Notes in Artificial Intelligence, page 22-39. Springer, (September 2025)
F. Baader, and J. Giesl. 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), volume 299 of Leibniz International Proceedings in Informatics (LIPIcs), page 16:1--16:18. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
