@article{VLDB-2018-ChuMRCS,
	author        = "Shumo Chu and Brendan Murphy and Jared Roesch and Alvin Cheung and Dan Suciu",
	doi           = "10.14778/3236187.3236200",
	ee            = "http://www.vldb.org/pvldb/vol11/p1482-chu.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 11,
	pages         = "1482--1495",
	title         = "{Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries}",
	volume        = 11,
	year          = 2018,
}