Stefan Gulan, Henning Fernau: Local elimination-strategies in automata for shorter regular expressions. SOFSEM (2) 2008: 46-57