@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}
}