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