Computations in orthogonal term rewriting systems (1991)

by G Huet, J-J Lévy
Venue:Computational logic: essays in honour of Alan Robinson