Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable
scientific article; zbMATH DE number 7371288