A variant of the non-backtracking walk-tree that is commonly used in the algebraic graph theory is the
tree \({T}_{\textrm {NB-k}}(r)\) , for \(k= \infty \) . This is known as the universal cover of \(G\) , e.g., see
[1]}. Note that the universal cover is an infinite walk-tree.
