Z. Dvořák, “A Strengthening and an Efficient Implementation of Alon-Tarsi List Coloring Method”, Electron. J. Combin., vol. 31, no. 1, p. P1.35, Feb. 2024.