Computations in orthogonal rewriting systems (1991)

by G Huet, J-J Levy
Venue:Computational Logic: Essays in Honor of Alan Robinson