Automata-based Representations for Infinite Graphs Salvatore La Torre and Margherita Napoli RAIRO-Theor. Inf. Appl., 35 4 (2001) 311-330 Published online: 15 April 2002 DOI: 10.1051/ita:2001122