Kauers, M., C. Krattenthaler, and T. W. Müller. 2012. “A Method for Determining the Mod-$2^k$ Behaviour of Recursive Sequences, With Applications to Subgroup Counting”. The Electronic Journal of Combinatorics 18 (2), P37. https://doi.org/10.37236/2433.