@article{VLDB-2011-GrecoST,
	author        = "Sergio Greco and Francesca Spezzano and Irina Trubitsyna",
	ee            = "http://www.vldb.org/pvldb/vol4/p1158-greco.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 11,
	pages         = "1158--1168",
	title         = "{Stratification Criteria and Rewriting Techniques for Checking Chase Termination}",
	volume        = 4,
	year          = 2011,
}