M. Howard Williams Quinzheng Kong Incomplete information in a Deductive Database. 197-220 1988 3 Data Knowl. Eng. db/journals/dke/dke3.html#WilliamsK88