On SMT Theory Design: The Case of Sequences.

Hichem Rami Ait El Hara, Franois Bobot, Guillaume Bury

Browse the full LPAR paper archive.