Enno Ohlebusch Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems. 111-130 1999 conf/lpar/1999 LPAR db/conf/lpar/lpar99.html#Ohlebusch99 http://dx.doi.org/10.1007/3-540-48242-3_8