1. Ekhad, S.B., Zeilberger, D.: Automatic generation of generating functions for enumerating matchings. Personal Journal of Shalosh B. Ekhad and Doron Zeilberger, April 29, 2011. http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/shidukhim.html
2. Greene, C., Wilf, H.S.: Closed form summation of C-finite sequences. Trans. Am. Math. Soc. 359, 1161–1189 (2007). math/0405574
3. Hirschhorn, M.D.: A proof in the spirit of Zeilberger of an amazing identity of Ramanujan. Math. Mag. 4, 267–269 (1996)
4. Hou, Q.-H., Xin, G.: Constant term evaluation for summation of C-finite sequences. In: DMTCS Proc. AN, pp. 761–772 (2010)
5. Kasteleyn, P.W.: The statistics of dimers on a lattice, I: the number of dimer arrangements in a quadratic lattice. Physica 27, 1209–1225 (1961)