Jura, Matthew, Oscar Levin, and Tyler Markkanen. 2015. “Finding Domatic Partitions in Infinite Graphs”. The Electronic Journal of Combinatorics 22 (3), P3.39. https://doi.org/10.37236/5089.