Droste Manfred; Fülöp Zoltán; Kószó Dávid; Vogler Heiko: Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.
In: Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020. Lecture Notes in Computer Science (12442). Springer International Publishing, Cham, pp. 39-51. (2020) ISBN 9783030625368; 9783030625351