P. Di Francesco and E. Guitter, “Twenty-Vertex Model with Domain Wall Boundaries and Domino Tilings”, Electron. J. Combin., vol. 27, no. 2, p. P2.13, May 2020.