1. Tobias Eibach, Enrico Pilz, and Gunnar Völkel, Attacking Bivium using SAT solvers, Theory and Applications of Satisfiability Testing, SAT 2008, Lecture Notes in Computer Science, vol. 4996, Springer, Berlin, 2008, pp. 63–76.
  2. Tobias Eibach, Gunnar Völkel, and Enrico Pilz, Optimising Gröbner bases on Bivium, Math. Comput. Sci. 3 (2010), no. 2, 159–172.[doi]