Preserving Confluence for Rewrite Systems with Built-in Operations.

Reinhard Bündgen Preserving Confluence for Rewrite Systems with Built-in Operations. 71-88 1994 conf/ctrs/1994 CTRS db/conf/ctrs/ctrs94.html#Bundgen94