Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer. - Motinori Goto; Shinji Kao; Tomoko Ninomiya (MVL, 1978)