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