Høynes, S.-M. Finite-Rank Bratteli-Vershik Diagrams Are expansive—a New Proof. Math. Scand. 2017, 120 (2), 195-210. https://doi.org/10.7146/math.scand.a-25613.