Arnold Oberschelp On the Craig-Lyndon Interpolation Theorem. 271-274 1968 33 J. Symb. Log. 2 db/journals/jsyml/jsyml33.html#Oberschelp68