@inproceedings{SIGMOD-1982-BernsteinB,
	author        = "Philip A. Bernstein and Barbara T. Blaustein",
	booktitle     = "{Proceedings of the 12th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD82/P039.PDF",
	doi           = "10.1145/582353.582361",
	pages         = "39--50",
	publisher     = "{ACM Press}",
	title         = "{Fast Methods for Testing Quantified Relational Calculus Assertions}",
	year          = 1982,
}