@misc{indiciaecd3bdbd4ce92, title = {Crisp-determinization of weighted tree automata over strong bimonoids}, author = {Zoltán Fülöp and Dávid Kószó and Heiko Vogler}, year = {2021}, doi = {10.46298/dmtcs.5943}, url = {https://arxiv.org/abs/1912.02660}, note = {Source identifier: 1912.02660} }