Regex Decision Procedures in Extended RE#.

Ian Erik Varatalu, Margus Veanes, Ekaterina Zhuchko, Juhan P. Ernits

Browse the full CAV paper archive.