Oostrom. Perpetuality and uniform normalization in orthogonal rewrite systems (2001)

by Z Khasidashvili, M Ogawa, V van
Venue:Information and Computation