Deterministic Ordered Restarting Automata that Compute Functions
2015 ◽
pp. 401-412