A characteristic set method for solving boolean equations and applications in cryptanalysis of stream ciphers. - Fengjuan Chai; Xiao-Shan Gao; Chun-Ming Yuan (J. Syst. Sci. Complex., 2008)