[1]
N. Klarlund, M. Mukund, and M. Sohoni, “Determinizing Asynchronous Automata on Infinite Inputs”, BRICS, vol. 2, no. 58, Nov. 1995.