Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems

by Zurab Khasidashvili , Mizuhito Ogawa , Vincent van Oostrom
Venue:INFORMATION AND COMPUTATION
Citations:7 - 2 self