Harry Buhrman Jim Kadin Thomas Thierauf Functions Computable with Nonadaptive Queries to NP. 77-92 1998 31 Theory Comput. Syst. 1 db/journals/mst/mst31.html#BuhrmanKT98