Bruce M. Kapron Steven A. Cook A New Characterization of Type-2 Feasibility. 117-132 1996 25 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp25.html#KapronC96