?url_ver=Z39.88-2004&rft_id=MTMT%3A31669354+10.1007%2F978-3-030-62536-8_4&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=+Droste+Manfred&rft.aulast=Droste&rft.aufirst=Manfred&rft.date=2020&rft.title=Crisp-Determinization+of+Weighted+Tree+Automata+over+Additively+Locally+Finite+and+Past-Finite+Monotonic+Strong+Bimonoids+Is+Decidable&rft.btitle=Descriptional+Complexity+of+Formal+Systems%3A+22nd+International+Conference%2C+DCFS+2020&rft.tpages=13&rft.isbn=9783030625368%3B+9783030625351&rft.genre=bookitem