Minimizing deterministic weighted tree automata
scientific article; zbMATH DE number 5639688
scientific article