Kószó Dávid: Weighted Tree Generating Regular Systems over Strong Bimonoids with Reduction Semantics.
JOURNAL OF AUTOMATA, LANGUAGES AND COMBINATORICS, 27 (4). pp. 271-307. ISSN 1430-189X (2022)