Paule, P. (1994). Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type. The Electronic Journal of Combinatorics, 1(1), R10. https://doi.org/10.37236/1190