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)