@inproceedings{rosu-viswanathan-2003-rta, author = "Rosu, Grigore and Viswanathan, Mahesh", publisher = "Springer-Verlag", doi = "http://dx.doi.org/10.1007/3-540-44881-0_35", title = "Testing Extended Regular Language Membership Incrementally by Rewriting", series = "Lecture Notes in Computer Science (LNCS)", booktitle = "Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA'03)", month = "June", volume = "2706", year = "2003", pages = "499-514" }