An Interpolation Lemma for the Pure Implicational Calculus. - Roy Edelstein (J. Symb. Log., 1975)

Some numerical constructions in English. - Steven E. Boër; Roy Edelstein (J. Philos. Log., 1979)

Negation-Free Modal Logics. - George F. Schumm; Roy Edelstein (Math. Log. Q., 1979)