Enumerative encoding of correlation-immune Boolean functions. - Nicolás Carrasco; Jean-Marie Le Bars; Alfredo Viola (Theor. Comput. Sci., 2013)