@inproceedings{rosu-2007-fossacs, author={Grigore Rosu}, title={An Effective Algorithm for The Membership Problem for Extended Regular Expressions}, booktitle={Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'07)}, publisher={Springer-Verlag}, series={LNCS}, volume = 4423, year={2007}, pages={332--345} }