Quinzheng Kong M. Howard Williams G. Chen The Indefinite Closed World Assumption. 297-311 1994 12 Data Knowl. Eng. 3 db/journals/dke/dke12.html#KongWC94