Rampersad, Narad, and Jeffrey Shallit. 2022. “Congruence Properties of Combinatorial Sequences via Walnut and the Rowland-Yassawi-Zeilberger Automaton”. The Electronic Journal of Combinatorics 29 (3), P3.36. https://doi.org/10.37236/10799.