"A Minimization Technique for Multiple-Valued Logic Systems."

Charles M. Allen, Donald D. Givone (1968)
a service of Schloss Dagstuhl - Leibniz Center for Informatics