Computations in orthogonal rewriting systems (1992)

by G Huet, J Lévy
Venue:Part I + II. In Computational Logic – Essays in Honor of Alan