Fangqing Dong Laks V. S. Lakshmanan Intuitionistic Interpretation of Deductive Databases with Incomplete Information. 175-192 1992 conf/db-workshops/1992 Formal Methods in Databases and Software Engineering db/conf/db-workshops/fmdbse1992.html#DongL92