Kauers, M., Krattenthaler, C. and 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), p. P37. doi: 10.37236/2433.