@article{VLDB-2018-GuagliardoL17,
	author        = "Paolo Guagliardo and Leonid Libkin",
	doi           = "10.14778/3151113.3151116",
	ee            = "http://www.vldb.org/pvldb/vol11/p27-guagliardo.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 1,
	pages         = "27--39",
	title         = "{A Formal Semantics of SQL Queries, Its Validation, and Applications}",
	volume        = 11,
	year          = 2017,
}