Checking Regular Expressions in Cvc5 Proofs.

Ofec Israel, Yoni Zohar, Andrew Reynolds, S. Hitarth, Bruno Dutertre, Clark W. Barrett, Cesare Tinelli

Browse the full IJCAR paper archive.