Rational Term Rewriting.

Andrea Corradini, Fabio Gadducci

Browse the full FOSSACS paper archive.