Tan, W. E. Waiter–Client and Client–Waiter Colourability and $k$–SAT Games. Electron. J. Combin. 2017, 24, P2.46.