Approximate minimization of weighted tree automata
scientific article; zbMATH DE number 7452654
scientific article