_id,doi,title
495,10.4204/EPTCS.96.18,A Myhill Nerode theorem for automata with advice