@inproceedings{DBLP:conf/eds/Decker86,
author = {Hendrik Decker},
title = {Integrity Enforcement on Deductive Databases},
booktitle = {Expert Database Conf.},
year = {1986},
pages = {381-395},
bibsource = {DBLP, http://dblp.uni-trier.de}
}