@article{DBLP:journals/jcst/WangZ01,
  title = {Closed World Assumption for Disjunctive Reasoning},
  author = {Wang, Kewen and Zhou, Lizhu},
  journal = {J. Comput. Sci. Technol.},
  number = {4},
  pages = {381--387},
  volume = {16},
  year = {2001}
}