Fülöp Zoltán;  Kószó Dávid;  Vogler Heiko: Crisp-determinization of weighted tree automata over strong bimonoids.
  DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 23 (1).   ISSN 1462-7264 (2021)