M. Jura, O. Levin, and T. Markkanen, “Finding Domatic Partitions in Infinite Graphs”, Electron. J. Combin., vol. 22, no. 3, p. P3.39, Sep. 2015.