A new characterization of type-2 feasibility (1996)

by B M Kapron, S A Cook
Venue:SIAM Journal on Computing