String-matching with OBDDs. - Christian Choffrut; Yael Haddad (Theor. Comput. Sci., 2004)