Conflunt reductions: Abstract properties and applications to term rewriting systems | IEEE Conference Publication | IEEE Xplore