@ARTICLE {
	AUTHOR = "Pablo Barcel{\'o} and Miguel Romero and Moshe Vardi",
	TITLE ="Semantic Acyclicity on Graph Databases",
	JOURNAL = "SIAM Journal on Computing (SICOMP)",
	VOLUME = "45",
	NUMBER = "4",
	PAGES = "1339-1376",
	YEAR = "2016",
	PUBLISHER = "SIAM Press",
	ADDRESS = "Philadelphia, USA",
	ISSN = "0097-5397"
	}