Andrew Reynolds, Andres Nötzli, Clark W. Barrett, Cesare Tinelli. Reductions for Strings and Regular Expressions Revisited. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 225-235, IEEE, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.