@inproceedings{AFL-2011-BorgwardtP,
	author        = "Stefan Borgwardt and Rafael Peñaloza",
	booktitle     = "{Proceedings of the 13th International Conference on Automata and Formal Languages}",
	isbn          = "978-615-5097-19-5",
	pages         = "108--122",
	title         = "{The Inclusion Problem for Weighted Automata on Infinite Trees}",
	year          = 2011,
}