@inproceedings{ChewColnetSzeider24,
 author = {Chew, Leroy and de Colnet, Alexis and Szeider,
Stefan},
 booktitle = {{Proceedings of the 21st International Conference on
Principles of Knowledge Representation and
Reasoning}},
 doi = {10.24963/kr.2024/24},
 month = {8},
 pages = {253--263},
 title = {{ASP-QRAT: A Conditionally Optimal Dual Proof System
for ASP}},
 url = {https://doi.org/10.24963/kr.2024/24},
 year = {2024}
}