On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs.

Jia-Huai You, Li-Yan Yuan, Mingyi Zhang

Browse the full IJCAI paper archive.