Fangqing Dong Laks V. S. Lakshmanan Intuitionistic Interpretation of Deductive Databases with Incomplete Information. 267-306 1994 133 Theor. Comput. Sci. 2 db/journals/tcs/tcs133.html#DongL94