Computations in orthogonal rewriting systems part I and II (0)

by G Huet, J-J L'evy
Venue:Computational Logic; essays in honour of Alan Robinson