N. Rampersad and J. Shallit, “Congruence Properties of Combinatorial Sequences via Walnut and the Rowland-Yassawi-Zeilberger Automaton”, Electron. J. Combin., vol. 29, no. 3, p. P3.36, Aug. 2022.