Alan Cobham Some Remarks Concerning Theories with Recursively Enumerable Complements. 72-74 1963 28 J. Symb. Log. 1 db/journals/jsyml/jsyml28.html#Cobham63