Galina Jirásková Alexander Okhotin On the State Complexity of Operations on Two-Way Finite Automata. 443-454 2008 Developments in Language Theory http://dx.doi.org/10.1007/978-3-540-85780-8_35 conf/dlt/2008 db/conf/dlt/dlt2008.html#JiraskovaO08