N. Gigante, L. Álvarez, and T. Lyon. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 311--321. IJCAI Inc, (2023)
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)
L. Álvarez, S. Rudolph, and H. Straß. Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, page 333--343. IJCAI Inc, (2023)