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