Confluence of Conditional Rewrite Systems

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