Automata-based Representations for Infinite GraphsSalvatore La Torre and Margherita NapoliRAIRO-Theor. Inf. Appl., 35 4 (2001) 311-330DOI: https://doi.org/10.1051/ita:2001122
