Carol R. Karp Independence Proofs in Predicate Logic with Infinitely Long Expressions. 171-188 1962 27 J. Symb. Log. 2 db/journals/jsyml/jsyml27.html#Karp62