@article{CIAA-J-2013-Maletti15,
	author        = "Andreas Maletti",
	doi           = "10.1016/j.tcs.2015.01.020",
	journal       = "{Theor. Comput. Sci}",
	pages         = "72--87",
	publisher     = "{Elsevier}",
	title         = "{Hyper-optimization for deterministic tree automata}",
	volume        = 578,
	year          = 2015,
}