@article{VLDB-2008-DeutchM,
	author        = "Daniel Deutch and Tova Milo",
	ee            = "http://www.vldb.org/pvldb/1/1453898.pdf",
	journal       = "{Proceedings of the VLDB Endowment}",
	number        = 1,
	pages         = "352--363",
	title         = "{Type inference and type checking for queries on execution traces}",
	volume        = 1,
	year          = 2008,
}