Jean-Marc Champarnaud Fabien Coulon Thomas Paranthoën Compact and fast algorithms for safe regular expression search. 383-401 2004 81 Int. J. Comput. Math. 4 http://dx.doi.org/10.1080/00207160310001650025 db/journals/ijcm/ijcm81.html#ChamparnaudCP04