On the correspondence between two classes of reduction systems (1985)

by S Thatte
Venue:Tha85] [Tha87] [Tho90] [TKS00] [Toy92