A new theorem in threshold logic and its application to multioperand binary adders. - José Fernández Ramos; Javier López García; Santiago Cárdenas Martín; Alfonso Gago Bohórquez (Int. J. Comput. Math., 2003)