@inproceedings{DBLP:conf/db-workshops/DongL92,
  author    = {Fangqing Dong and
               Laks V. S. Lakshmanan},
  title     = {Intuitionistic Interpretation of Deductive Databases with
               Incomplete Information},
  booktitle = {Formal Methods in Databases and Software Engineering},
  year      = {1992},
  pages     = {175-192},
  crossref  = {DBLP:conf/db-workshops/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/db-workshops/1992,
  editor    = {Vangalur S. Alagar and
               Laks V. S. Lakshmanan and
               Fereidoon Sadri},
  title     = {Formal Methods in Databases and Software Engineering, Proceedings
               of the Workshop on Formal Methods in Databases and Software
               Engineering, Montreal, Canada, 15-16 May 1992},
  booktitle = {Formal Methods in Databases and Software Engineering},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19812-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}