An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases. - Cyril S. Ku; Heung D. Kim; Lawrence J. Henschen (IEEE Trans. Knowl. Data Eng., 1994)