@InProceedings{buchse-fischer:2012:ATANLP2012,
  author    = {B\"{u}chse, Matthias  and  Fischer, Anja},
  title     = {Deciding the Twins Property for Weighted Tree Automata over Extremal Semifields},
  booktitle = {Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing},
  month     = {April},
  year      = {2012},
  address   = {Avignon, France},
  publisher = {Association for Computational Linguistics},
  pages     = {11--20},
  url       = {http://www.aclweb.org/anthology/W12-0802}
}