Rafael C. Carrasco Jan Daciuk Mikel L. Forcada Incremental Construction of Minimal Tree Automata. 95-110 2009 55 Algorithmica 1 http://dx.doi.org/10.1007/s00453-008-9172-4 db/journals/algorithmica/algorithmica55.html#CarrascoDF09