Martin Plátek Markéta Lopatková Dana Pardubská On the complexity of reductions by restarting automata. 207-222 2014 NCMA conf/ncma/2014 db/conf/ncma/ncma2014.html#PlatekLP14