Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.

Rachid Echahed Nicolas Peltier Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. 137-152 2007 conf/rta/2007 RTA http://dx.doi.org/10.1007/978-3-540-73449-9_12 db/conf/rta/rta2007.html#EchahedP07