Transformations and confluence for rewrite systems (1995)

by R M Verma
Venue:Theoretical Computer Science