M. Kauers, C. Krattenthaler, and T. W. Müller, “A Method for Determining the Mod-$2^k$ Behaviour of Recursive Sequences, with Applications to Subgroup Counting”, Electron. J. Combin., vol. 18, no. 2, p. P37, Jun. 2012.