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

You et al. "On the Equivalence Between Answer Sets and Models of Completion for Nested Logic Programs." International Joint Conference on Artificial Intelligence, 2003.

[You et al. "On the Equivalence Between Answer Sets and Models of Completion for Nested Logic Programs." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/you2003ijcai-equivalence/)

@inproceedings{you2003ijcai-equivalence,
  title     = {{On the Equivalence Between Answer Sets and Models of Completion for Nested Logic Programs}},
  author    = {You, Jia-Huai and Yuan, Li-Yan and Zhang, Mingyi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {859-866},
  url       = {https://mlanthology.org/ijcai/2003/you2003ijcai-equivalence/}
}