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)