Rational Term Rewriting (1998)

by A. Corradini, F. Gadducci