Gérard Huet
Gérard Huet.
Confluent reductions: Abstract properties and application to term rewriting systems.
Journal of the ACM
, 27(4):797-821, October 1980.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database