Computing minimal models, stable models and answer sets

Zbigniew Lonc, Miroslaw Truszczynski. Computing minimal models, stable models and answer sets. TPLP, 6(4):395-449, 2006. [doi]

@article{LoncT06,
  title = {Computing minimal models, stable models and answer sets},
  author = {Zbigniew Lonc and Miroslaw Truszczynski},
  year = {2006},
  doi = {10.1017/S1471068405002607},
  url = {http://dx.doi.org/10.1017/S1471068405002607},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/LoncT06},
  cites = {0},
  citedby = {0},
  journal = {TPLP},
  volume = {6},
  number = {4},
  pages = {395-449},
}