Bi-rewriting, a term rewriting technique for monotonic order relations (1993)

by J Levy, J Agusti
Venue:Proc. Fifth Int. Conf. on Rewriting Techniques and Applications