@article{KieferMarusicWorrell:LMCS:2017,
    Author = {Kiefer, Stefan and Marusic, Ines and Worrell, James},
    File = {Minimisation of Multiplicity Tree Automata - 1410.5352 - a - u.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory},
    Month = {March},
    Title = {{Minimisation of Multiplicity Tree Automata}},
    URL = {https://lmcs.episciences.org/3224},
    Volume = {{Volume 13, Issue 1}},
    Year = {2017},
    bdsk-url-1 = {https://lmcs.episciences.org/3224},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-13(1:16)2017},
    date-added = {2020-11-21 10:23:24 +0100},
    date-modified = {2023-10-02 08:50:38 +0200},
    doi = {10.23638/LMCS-13(1:16)2017}
}

@article{KieferMarusicWorrell:LMCS:2017, Author = {Kiefer, Stefan and Marusic, Ines and Worrell, James}, File = {Minimisation of Multiplicity Tree Automata - 1410.5352 - a - u.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory}, Month = {March}, Title = {{Minimisation of Multiplicity Tree Automata}}, URL = {https://lmcs.episciences.org/3224}, Volume = {{Volume 13, Issue 1}}, Year = {2017}, bdsk-url-1 = {https://lmcs.episciences.org/3224}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-13(1:16)2017}, date-added = {2020-11-21 10:23:24 +0100}, date-modified = {2023-10-02 08:50:38 +0200}, doi = {10.23638/LMCS-13(1:16)2017} }