Solving extended regular constraints symbolically (2009)

by M Veanes, N Bjørner, L de Moura