@article{DMTCS_2021_23_1_a15,
     author = {F\"ul\"op, Zolt\'an and K\'osz\'o, D\'avid and Vogler, Heiko},
     title = {Crisp-determinization of weighted tree automata over strong bimonoids},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {23},
     number = {1},
     year = {2021-2022},
     doi = {10.46298/dmtcs.5943},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.5943/}
}