@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} }