Florian Bridoux, Amélia Durbec, Kévin Perrot, Adrien Richard: Complexity of fixed point counting problems in Boolean networks. J. Comput. Syst. Sci. 126: 138-164 (2022)