On integrity constraints (1988)

by Raymond Reiter
Venue:In 2nd Conference on Theoretical Aspects of Reasoning about Knowledge