SMT-LIB Sequences and Regular Expressions.

Nikolaj S. Bjrner, Vijay Ganesh, Raphal Michel, Margus Veanes

Browse the full CADE paper archive.