@misc{indiciae935da6de848e,
  title = {Computing minimal models, stable models and answer sets},
  author = {Z. Lonc and M. Truszczynski},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0506104},
  note = {Source identifier: cs/0506104}
}