Høynes, S.-M. Finite-Rank Bratteli-Vershik Diagrams Are expansive—a New Proof. Math. Scand. 2017, 120, 195-210.