Carsten Thomassen A characterization of locally finite vertex-transitive graphs. 116-119 1987 43 J. Comb. Theory, Ser. B 1 http://dx.doi.org/10.1016/0095-8956(87)90033-5 db/journals/jct/jctb43.html#Thomassen87