@article{VLDB-2019-ZhouANHX,
	author        = "Qi Zhou and Joy Arulraj and Shamkant B. Navathe and William Harris and Dong Xu",
	doi           = "10.14778/3342263.3342267",
	ee            = "http://www.vldb.org/pvldb/vol12/p1276-zhou.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 11,
	pages         = "1276--1288",
	title         = "{Automated Verification of Query Equivalence Using Satisfiability Modulo Theories}",
	volume        = 12,
	year          = 2019,
}