@article{DBLP:journals/jlp/Wang00,
  title = {Argumentation-based abduction in disjunctive logic programming},
  author = {Wang, Kewen},
  journal = {J. Log. Program.},
  number = {1-3},
  pages = {105--141},
  volume = {45},
  year = {2000}
}