Minimisation of multiplicity tree automata (Logical Methods in Computer Science, 2017)

(untitled) - Worrell, J; Kiefer, S; Marusic, I