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 (Jul. 1994), R10. DOI:https://doi.org/10.37236/1190.