Reductions for Strings and Regular Expressions Revisited.

Andrew Reynolds, Andres Ntzli, Clark W. Barrett, Cesare Tinelli

Browse the full FMCAD paper archive.