@misc{indiciae61c1b32fa1b6,
  title = {Formal residue and computer proofs of combinatorial identities},
  author = {Qing-Hu Hou and Hai-Tao Jin},
  year = {2011},
  url = {https://arxiv.org/abs/1109.4289},
  note = {Source identifier: 1109.4289}
}