Di Francesco, P.; Guitter, E. Twenty-Vertex Model With Domain Wall Boundaries and Domino Tilings. Electron. J. Combin. 2020, 27, P2.13.