Bjørn Møller Greve, Øyvind Ytrehus, Håvard Raddum, and Gunnar Fløysand. “Solving non-linear Boolean equation systems by variable elimination.” Appl. Algebra Eng. Commun. Comput. 32(1): 3-47 (2021)