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

by J Levy, J Agustí
Venue:Rewriting Techniques and Applications, RTA’93, volume 690 of Lecture Notes in Computer Science