Attacking Bivium Using SAT Solvers. - Tobias Eibach; Enrico Pilz; Gunnar Völkel (SAT, 2008)

Optimising Gröbner Bases on Bivium. - Tobias Eibach; Gunnar Völkel; Enrico Pilz (Math. Comput. Sci., 2010)