?url_ver=Z39.88-2004&rft_id=MTMT%3A32809905+10.1016%2Fj.tcs.2022.03.036&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Droste&rft.aufirst=Manfred&rft.au=+Droste+Manfred&rft.date=2022&rft.title=THEORETICAL+COMPUTER+SCIENCE&rft.atitle=Finite-image+property+of+weighted+tree+automata+over+past-finite+monotonic+strong+bimonoids&rft.volume=919&rft.issn=0304-3975&rft.pages=118-143&rft.genre=article