L. Herrmann, V. Peth, and S. Rudolph. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), volume 288 of Leibniz International Proceedings in Informatics (LIPIcs), page 33:1--33:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
D. Arndt, and S. Mennicke. Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, Springer, (October 2023)
C. Lutz, Q. Manière, and R. Nolte. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 482--491. (August 2023)
C. Lutz, and L. Schulze. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 492--501. (August 2023)