@inproceedings{SIGMOD-1992-Bigelow,
	author        = "Richard Bigelow",
	booktitle     = "{Proceedings of the 22nd ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD92/P382.PDF",
	doi           = "10.1145/130283.130340",
	pages         = "382",
	title         = "{Implementation of General Constraints in SIM}",
	year          = 1992,
}