P. Paule, “Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type”, Electron. J. Combin., vol. 1, no. 1, p. R10, Jul. 1994.