Suzanne M. Embury, Peter M. D. Gray: Compiling a Declarative High-Level Language for Semantic Integrity Constraints. DS-6 1995: 188-226