Kauers, M., Krattenthaler, C., & Müller, T. W. (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