PAULE, P. Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type. The Electronic Journal of Combinatorics, v. 1, n. 1, p. R10, 26 Jul. 1994.