Bi-rewrite systems (1996)

by J Levy, J Agustí
Venue:Journal of Symbolic Computation