Confluent reductions: Abstract properties and applications to term rewriting systems: Abstract properties and applications to term rewriting systems (1980)

by G Huet
Venue:Journal of the ACM