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