@article{ITA_2001__35_4_311_0,
     author = {Torre, Salvatore La and Napoli, Margherita},
     title = {Automata-based representations for infinite graphs},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {311--330},
     publisher = {EDP-Sciences},
     volume = {35},
     number = {4},
     year = {2001},
     mrnumber = {1880802},
     zbl = {0997.05067},
     language = {en},
     url = {http://archive.numdam.org/item/ITA_2001__35_4_311_0/}
}