@inproceedings{SIGMOD-1985-Kung,
	author        = "David Chenho Kung",
	booktitle     = "{Proceedings of the 15th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD85/P169.PDF",
	doi           = "10.1145/318898.318911",
	pages         = "169--179",
	publisher     = "{ACM Press}",
	title         = "{On Verification of Database Temporal Constraints}",
	year          = 1985,
}