Warren D. Goldfarb Harry R. Lewis Skolem Reduction Classes. 62-68 1975 40 J. Symb. Log. 1 db/journals/jsyml/jsyml40.html#GoldfarbL75