Kauers, M.; Krattenthaler, C.; Müller, T. W. A Method for Determining the Mod-$2^k$ Behaviour of Recursive Sequences, With Applications to Subgroup Counting. Electron. J. Combin. 2012, 18, P37.