Bern Martens, Maurice Bruynooghe. Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. In Expert Database Conf.. pages 567-601, 1988.
@inproceedings{MartensB88,
title = {Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph},
author = {Bern Martens and Maurice Bruynooghe},
year = {1988},
tags = {rule-based, constraints, graph-rewriting, rules, rewriting},
researchr = {https://researchr.org/publication/MartensB88},
cites = {0},
citedby = {0},
pages = {567-601},
booktitle = {Expert Database Conf.},
}