Computations in orthogonal rewriting systems (1991)

by G Huet, J-J Lévy
Venue:I. Pages 395–414 of: Lassez, J.-L., & Plotkin, G. (eds), Computational Logic: Essays in Honor of Alan