@article{DBLP:journals/acta/Nicolas82,
author = {Jean-Marie Nicolas},
title = {Logic for Improving Integrity Checking in Relational Data
Bases},
journal = {Acta Inf.},
volume = {18},
year = {1982},
pages = {227-253},
ee = {http://dx.doi.org/10.1007/BF00263192},
bibsource = {DBLP, http://dblp.uni-trier.de}
}