1. Lecture Notes in Computer Science;W. Aiello,1998
2. Lecture Notes in Computer Science;D. Augot,2005
3. Bard, G.V., Courtois, N.T., Jefferson, C.: Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over GF(2) via SAT-solvers. Cryptology ePrint Archive, Report 2007/024 (2007)
4. Lecture Notes in Computer Science;M. Bellare,2006
5. Lecture Notes in Computer Science;M. Bellare,1996