@inproceedings{decidingthetwinspropertyforweightedtree,
  title = {Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields},
  author = {Matthias B{\"u}chse and Anja Fischer},
  year = {2012},
  booktitle = {WS 2012 4},
  url = {https://aclanthology.org/W12-0802},
}