Rafael C. Carrasco Jan Daciuk Mikel L. Forcada An Implementation of Deterministic Tree Automata Minimization. 122-129 2007 conf/wia/2007 CIAA http://dx.doi.org/10.1007/978-3-540-76336-9_13 db/conf/wia/ciaa2007.html#CarrascoDF07