Finitely convergent algorithm for nonconvex inequality problems
  We extend Fukushima's result on the finite convergence of an algorithm for the global convex feasibility problem to the local nonconvex case. 
C.H. Jeffrey Pang
math.OC