Chew, L., de Colnet, A., & Szeider, S. (2024). ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. In P. Marquis, M. Ortiz, & M. Pagnucco (Eds.), Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning (pp. 253–263). https://doi.org/10.24963/kr.2024/24 ( reposiTUm)

Chede, S., Chew, L. N., & Shukla, A. (2024). Circuits, Proofs and Propositional Model Counting. In S. Barman & S. Lasota (Eds.), 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024) (pp. 18:1-1:23). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2024.18 ( reposiTUm)