On integrity constraints (1988)

by R Reiter
Venue:In Proc. TARK