Computations in Orthogonal Rewriting Systems, I.

Published in: Computational Logic - Essays in Honor of Alan Robinson (1991)