Abstract relations between restricted termination and confluence properties of rewrite systems (1995)

by Bernhard Gramlich
Venue:Fundamenta Informaticae