Erik Ellentuck Almost Combinatorial Skolem Functions. 65-72 1970 35 J. Symb. Log. 1 db/journals/jsyml/jsyml35.html#Ellentuck70