Nachum Dershowitz Mitsuhiro Okada G. Sivakumar Confluence of Conditional Rewrite Systems. 31-44 1987 conf/ctrs/1987 CTRS db/conf/ctrs/ctrs87.html#DershowitzOS87