On Verification of Database Temporal Constraints (1985)

by C H Kung
Venue:In ACM SIGMOD International Conference on Management of Data