Adam Koprowski and Johannes Waldmann. Max/Plus Tree Automata for Termination of Term Rewriting. Acta Cybernetica, 19(2):357-392, 2009. [ PDF ]
This document was translated from BibTEX by bibtex2html