Confluence of Conditional Rewrite Systems

by Nachum Dershowitz , Mitsuhiro Okada , G. Sivakumar
Citations:56 - 4 self