@article {MR2403726,
    AUTHOR = {Chai, Fengjuan and Gao, Xiao-Shan and Yuan, Chunming},
     TITLE = {A characteristic set method for solving {B}oolean equations
              and applications in cryptanalysis of stream ciphers},
   JOURNAL = {J. Syst. Sci. Complex.},
  FJOURNAL = {Journal of Systems Science \& Complexity},
    VOLUME = {21},
      YEAR = {2008},
    NUMBER = {2},
     PAGES = {191--208},
      ISSN = {1009-6124},
   MRCLASS = {94A60 (68W25)},
  MRNUMBER = {2403726 (2009e:94061)},
       DOI = {10.1007/s11424-008-9103-0},
       URL = {http://dx.doi.org/10.1007/s11424-008-9103-0},
}