Paule, P. Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type. Electron. J. Combin. 1994, 1, #R10.