Computations in Orthogonal Rewriting Systems 1 et 2", Computational logic (1991)

by G Huet, J-J L'evy
Venue:Essays in Honor of Alan