G. Lükő, “Truth functions and problems in graph colouring”, Acta Cybern, vol. 3, no. 4, pp. 327-333, Jan. 1977.