Max/Plus Tree Automata for Termination of Term Rewriting

@article{Koprowski2009MaxPlusTA,
  title={Max/Plus Tree Automata for Termination of Term Rewriting},
  author={Adam Koprowski and Johannes Waldmann},
  journal={Acta Cybern.},
  year={2009},
  volume={19},
  pages={357-392}
}
Highly Cited
This paper has 26 citations. REVIEW CITATIONS