Bi-rewrite systems (0)

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