William I. Gasarch Mark G. Pleszkoch Robert Solovay Learning vi Queries in [+, <]. 53-81 1992 57 J. Symb. Log. 1 db/journals/jsyml/jsyml57.html#GasarchPS92