On Term Rewriting Systems Having a Rational Derivation.

Antoine Meyer

Browse the full FOSSACS paper archive.