Nachum Dershowitz When are Two Rewrite Systems More than None? 37-43 1997 conf/mfcs/1997 MFCS db/conf/mfcs/mfcs97.html#Dershowitz97 http://dx.doi.org/10.1007/BFb0029947