Testing extended regular language membership incrementally by rewriting (2003)

by G Rosu, M Viswanathan
Venue:In Rewriting Techniques and Applications