@misc{indiciae5c339da34d7d, title = {Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences}, author = {Edinah Gnang and Doron Zeilberger}, year = {2013}, url = {https://arxiv.org/abs/1306.6668}, note = {Source identifier: 1306.6668} }