Μίσιος Αριστοτέλης, Computability and complexity of two-way finite automata, 2013,