Philipp Schepper Fine-Grained Complexity of Regular Expression Pattern Matching and Membership. 80:1-80:20 2020 ESA https://doi.org/10.4230/LIPIcs.ESA.2020.80 conf/esa/2020 db/conf/esa/esa2020.html#Schepper20