M.: Perpetualilty and Uniform Normalization (1997)

by Z Khasidashvili, Ogawa
Venue:ALP 1997 and HOA 1997. LNCS