Disambiguation of weighted tree automata
scientific article; zbMATH DE number 7614750
scientific article