R70-10 The Minimalization of Tree Automata | IEEE Journals & Magazine | IEEE Xplore