Thanks Neil and Michel! The JSTOR site even helpfully suggests citations in a variety of formats, but the OEIS doesn't seem to strictly adhere any of them, so went with the following: H. B. Curry, "An Analysis of Logical Substitution." American Journal of Mathematics 51, no. 3 (1929): 363-84. Thanks!