Lükő G.: Truth functions and problems in graph colouring. In: Acta cybernetica, (3) 4. pp. 327-333. (1977)