Eliminating Variables in Boolean Equation Systems. - Bjørn Møller Greve; Håvard Raddum; Gunnar Fløystad; Øyvind Ytrehus (IACR Cryptol. ePrint Arch., 2017)

Variable Elimination - a Tool for Algebraic Cryptanalysis. - Bjørn Møller Greve; Øyvind Ytrehus; Håvard Raddum (IACR Cryptol. ePrint Arch., 2019)

Solving non-linear Boolean equation systems by variable elimination. - Bjørn Møller Greve; Øyvind Ytrehus; Håvard Raddum; Gunnar Fløystad (Appl. Algebra Eng. Commun. Comput., 2021)