Alfons Geser, Dieter Hofbauer, Johannes Waldmann, Hans Zantema. On tree automata that certify termination of left-linear term rewriting systems. Inf. Comput., 205(4):512-534, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.