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

by G Huet
Venue:Also in 18th IEEE FOCS