A Sequent Calculus for Answer Set Entailment.

Thomas Eiter, Tobias Geibinger

Browse the full IJCAI paper archive.