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