Goal-oriented decomposition of switching functions. - Liliana Díaz-Olavarrieta; K. Illanko; Safwat G. Zaky (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)