Testing Extended Regular Language Membership Incrementally by Rewriting (2003)

by G Ro, su, M Viswanathan
Venue:In Rewriting Techniques and Applications, Lecture Notes in Computer Science 2706