Alexandru Mateescu Arto Salomaa Many-Valued Truth Functions, Cernys' Conjecture, and Road Coloring. 693-707 2001 Current Trends in Theoretical Computer Science db/books/collections/PhaunRS2001.html#MateescuS01