J. Tiemann, M. McGinity, I. Sbalzarini, and U. Günther. Extended Abstracts of the 2024 CHI Conference on Human Factors in Computing Systems, New York, NY, USA, Association for Computing Machinery, (2024)
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)