@misc{indiciae9feb91d1a7fb,
  title = {Abduction in Well-Founded Semantics and Generalized Stable Models},
  author = {José Júlio Alferes and Luís Moniz Pereira and Terrance Swift},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0312057},
  note = {Source identifier: cs/0312057}
}