@misc{indiciae5b7a0fa52e11,
  title = {Automated Discovery and Proof of Congruence Theorems for Partial Sums of Combinatorial Sequences},
  author = {William Y. C. Chen and Qing-Hu Hou and Doron Zeilberger},
  year = {2015},
  url = {https://arxiv.org/abs/1509.09070},
  note = {Source identifier: 1509.09070}
}