ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP.

Leroy Chew, Alexis de Colnet, Stefan Szeider

Browse the full KR paper archive.