de Vries. Transfinite reductions in orthogonal term rewriting (1995)

by R Kennaway, J Klop, R Sleep, F-J
Venue:Information and Computation