Davies, E. Counting Proper Colourings in 4-Regular Graphs via the Potts Model. Electron. J. Combin. 2018, 25, P4.7.