RAMPERSAD, N.; SHALLIT, J. Congruence Properties of Combinatorial Sequences via Walnut and the Rowland-Yassawi-Zeilberger Automaton. The Electronic Journal of Combinatorics, v. 29, n. 3, p. P3.36, 12 Aug. 2022.