F. Baader, F. Kriegel, and A. Nuradiansyah. Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), April 8--11, 2024, Sheffield, United Kingdom, volume 14589 of Lecture Notes in Computer Science, page 3--22. Springer, (2024)
A. Hannemann, J. Ewald, L. Seeger, and E. Buchmann. Computational Science – ICCS 2024: 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part IV, page 279–293. Berlin, Heidelberg, Springer-Verlag, (2024)
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)