TY  - RPRT
TI  - Minimisation of Multiplicity Tree Automata
AU  - Stefan Kiefer
AU  - Ines Marusic
AU  - James Worrell
PY  - 2017
DO  - 10.23638/lmcs-13(1:16)2017
UR  - https://arxiv.org/abs/1410.5352
ID  - 1410.5352
ER  -