Multiple-valued Boolean minimization based on graph coloring. - Maciej J. Ciesielski; Saeyang Yang; Marek A. Perkowski (ICCD, 1989)