L. Herrmann, V. Peth, und S. Rudolph. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Volume 288 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 33:1--33:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2024)
D. Arndt, und S. Mennicke. Rules and Reasoning - 7th International Joint Conference on Rules and Reasoning, RuleML+RR 2023, Proceedings, Springer, (Oktober 2023)