@article{DLT-J-2008-FiliotTT10,
	author        = "Emmanuel Filiot and Jean-Marc Talbot and Sophie Tison",
	doi           = "10.1142/S012905411000743X",
	journal       = "{International Journal of Foundations of Computer Science}",
	number        = 4,
	pages         = "571--596",
	publisher     = "{World Scientific}",
	title         = "{Tree Automata with Global Constraints}",
	volume        = 21,
	year          = 2010,
}