MartensB88'

@inproceedings{DBLP:conf/eds/MartensB88,
  author    = {Bern Martens and
               Maurice Bruynooghe},
  title     = {Integrity Constraint Checking in Deductive Databases Using
               a Rule/Goal Graph},
  booktitle = {Expert Database Conf.},
  year      = {1988},
  pages     = {567-601},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}