On the Craig-Lyndon Interpolation Theorem. - Arnold Oberschelp (J. Symb. Log., 1968)

European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974. - G. H. Muller; Arnold Oberschelp; K. Potthoff (J. Symb. Log., 1976)

Klassentheoretische Paare. - Arnold Oberschelp; Günter Todt (Math. Log. Q., 1981)

Castor quadruplorum. - Arnold Oberschelp; Karsten Schmidt-Göttsch; Günter Todt (Arch. Math. Log., 1988)

Order Sorted Predicate Logic. - Arnold Oberschelp (Sorts and Types in Artificial Intelligence, 1989)

On Pairs and Tuples. - Arnold Oberschelp (Math. Log. Q., 1991)

Rekursionstheorie. - Arnold Oberschelp (BI-Wissenschaftsverlag, 1993)

Was ist allgemeine Mengenlehre? - Arnold Oberschelp (Angewandte Mathematik, insbesondere Informatik, 1999)