@inproceedings{buchse-fischer-2012-deciding,
    title = "Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields",
    author = {B{\"u}chse, Matthias  and
      Fischer, Anja},
    editor = "Drewes, Frank  and
      Kuhlmann, Marco",
    booktitle = "Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing",
    month = apr,
    year = "2012",
    address = "Avignon, France",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/W12-0802",
    pages = "11--20",
}