Minimizing ESCT forms for two-variable multiple-valued input binary output functions. - Takaaki Mizuki; Daizo Mikami; Hideaki Sone (Discret. Appl. Math., 2014)