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