A Myhill-Nerode theorem for automata with advice - Alex Kruckman; Sasha Rubin; John Sheridan; Ben Zax (GandALF, 2012)