@inproceedings{SIGMOD-2014-RoyS,
	author        = "Sudeepa Roy and Dan Suciu",
	booktitle     = "{Proceedings of the 32nd ACM SIGMOD International Conference on Management of Data}",
	doi           = "10.1145/2588555.2588578",
	isbn          = "978-1-4503-2376-5",
	pages         = "1579--1590",
	publisher     = "{ACM}",
	title         = "{A formal approach to finding explanations for database queries}",
	year          = 2014,
}