Høynes SM. Finite-rank Bratteli-Vershik diagrams are expansive—a new proof. Math. Scand. 2017;120(2):195-210. doi:10.7146/math.scand.a-25613