The use of binary decision diagrams for the decomposition of programmable logic arrays. - P. N. Bibilo; P. V. Leonczyk (Autom. Control. Comput. Sci., 2011)