@article{VLDB-2016-CalauttiGMT,
	author        = "Marco Calautti and Sergio Greco and Cristian Molinaro and Irina Trubitsyna",
	doi           = "10.14778/2876473.2876475",
	ee            = "http://www.vldb.org/pvldb/vol9/p396-calautti.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 5,
	pages         = "396--407",
	title         = "{Exploiting Equality Generating Dependencies in Checking Chase Termination}",
	volume        = 9,
	year          = 2016,
}