Demolombe99'

@inproceedings{DBLP:conf/krdb/Demolombe99,
  author    = {Robert Demolombe},
  title     = {Database Validity and Completeness: Another Approach and
               its Formalisation in Modal Logic},
  booktitle = {KRDB},
  year      = {1999},
  pages     = {11-13},
  ee        = {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-21/demolombe.ps},
  crossref  = {DBLP:conf/krdb/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/krdb/99,
  editor    = {Enrico Franconi and
               Michael Kifer},
  title     = {Proceedings of the 6th International Workshop on Knowledge
               Representation meets Databases (KRDB'99), Link{\"o}ping,
               Sweden, July 29-30, 1999},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {21},
  year      = {1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}