Ahmed Bouajjani Anca Muscholl Tayssir Touili Permutation rewriting and algorithmic verification. 199-224 2007 205 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2005.11.007 db/journals/iandc/iandc205.html#BouajjaniMT07