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