Anna Bernasconi Valentina Ciriani Gabriella Trucco Tiziano Villa On decomposing Boolean functions via extended cofactoring. 1464-1469 2009 DATE http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=5090609&arnumber=5090894&count=326&index=280 conf/date/2009 db/conf/date/date2009.html#BernasconiCTV09