M. Cohen and M. Teicher, “Kauffman’s Clock Lattice as a Graph of Perfect Matchings: a Formula for its Height”, Electron. J. Combin., vol. 21, no. 4, p. P4.31, Nov. 2014.