Simplifying regular expressions further

Stefan Kahrs, Colin Runciman. Simplifying regular expressions further. Journal of Symbolic Computation, 109:124-143, 2022. [doi]

Abstract

Abstract is missing.