@inproceedings{equivalencesbetweenrankedandunranked,
  title = {Equivalences between Ranked and Unranked Weighted Tree Automata via Binarization},
  author = {Toni Dietze},
  year = {2016},
  booktitle = {WS 2016 8},
  url = {https://aclanthology.org/W16-2401},
}