Evelyne Contejean Antoine Coste Benjamin Monate Rewriting Techniques in Theoretical Physics. 80-94 2000 conf/rta/2000 RTA db/conf/rta/rta2000.html#ContejeanCM00 http://dx.doi.org/10.1007/10721975_6