Lükő, G. 1977. Truth functions and problems in graph colouring. Acta Cybernetica. 3, 4 (Jan. 1977), 327-333.