@inproceedings{SIGMOD-1988-KrishnamurthyRS,
	author        = "Ravi Krishnamurthy and Raghu Ramakrishnan and Oded Shmueli",
	booktitle     = "{Proceedings of the 18th ACM SIGMOD International Conference on Management of Data}",
	cdrom         = "SIGMOD88/P154.PDF",
	doi           = "10.1145/50202.50219",
	pages         = "154--163",
	title         = "{A Framework for Testing Safety and Effective Computability of Extended Datalog}",
	year          = 1988,
}