Graph coloring problems with applications in algebraic logic Zsolt Tuza (1991) Acta Universitatis Carolinae. Mathematica et Physica