Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations.

Jordi Levy Jaume Agustí-Cullell Bi-rewriting, a Term Rewriting Technique for Monotonic Order Relations. 17-31 1993 conf/rta/1993 RTA db/conf/rta/rta93.html#LevyA93 http://dx.doi.org/10.1007/3-540-56868-9_3