J.J.: Computations in orthogonal rewriting systems (1991)

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