Logic for Improving Integrity Checking in Relational Data Bases.

Jean-Marie Nicolas Logic for Improving Integrity Checking in Relational Data Bases. 227-253 1982 18 Acta Inf. db/journals/acta/acta18.html#Nicolas82 http://dx.doi.org/10.1007/BF00263192