@inproceedings{PODS-2000-MiloSV,
	author        = "Tova Milo and Dan Suciu and Victor Vianu",
	booktitle     = "{Proceedings of the 19th Symposium on Principles of Database Systems}",
	doi           = "10.1145/335168.335171",
	isbn          = "1-58113-214-X",
	pages         = "11--22",
	publisher     = "{ACM}",
	title         = "{Typechecking for XML Transformers}",
	year          = 2000,
}