Automata on Linear Orderings

Journal of Computer and System Sciences - United States
doi 10.1016/j.jcss.2006.10.009