Stefan Gulan Henning Fernau Local elimination-strategies in automata for shorter regular expressions. 46-57 2008 SOFSEM (2) conf/sofsem/2008-2 db/conf/sofsem/sofsem2008srf.html#GulanF08