On Regular Expression Proof Complexity.

Simon Beier, Markus Holzer

Browse the full DLT paper archive.