Bonsangue M, Caltais G, Goriac E, Lucanu D, Rutten J, Silva A.? 2010.??A decision procedure for bisimilarity of generalized regular expressions. Proceedings of the 13th Brazilian Symposium on Formal Methods (SBMF 2010). 6527:226?241.