BryEST98'

BibTeX

@inproceedings{DBLP:conf/deductive/BryEST98,
  author    = {Fran\c{c}ois Bry and
               Norbert Eisinger and
               Heribert Sch{\"u}tz and
               Sunna Torge},
  title     = {SIC: Satisfiability Checking for Integrity Constraints},
  booktitle = {DDLP},
  year      = {1998},
  pages     = {25-36},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}