Computations in orthogonal rewriting systems - Parts I and II (1991)

by G Huet, J-J Lévy
Venue:In Computational Logic, Essays in Honor of Alan Robinson