Confluence of conditional rewrite systems (1987)

by N Dershowitz, M Okada, G Sivakumar
Venue:In Proc. 1st International Workshop on Conditional Term Rewriting Systems