Droste Manfred;  Fülöp Zoltán;  Kószó Dávid;  Vogler Heiko: Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.
  THEORETICAL COMPUTER SCIENCE, 919.  pp. 118-143.  ISSN 0304-3975 (2022)