Dag Hovland. The Membership Problem for Regular Expressions with Unordered Concatenation and Numerical Constraints. In Adrian Horia Dediu, Carlos Martín-Vide, editors, Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. Volume 7183 of Lecture Notes in Computer Science, pages 313-324, Springer, 2012. [doi]
Abstract is missing.