1. M. Arfi, Polynomial operations on rational languages, in: STAGS: Annual Symposium on Theoretical Aspects of Computer Science, 1987
2. On computing reachability sets of process rewrite systems;Bouajjani,2005
3. Permutation rewriting and algorithmic verification;Bouajjani;Inform. and Comput.,2007
4. Extrapolating Tree Transformations;Bouajjani,2002
5. Efficiency of automata in semi-commutation verification techniques;Cécé;RAIRO Theoret. Inform. Appl.,2008