Finite termination and superlinear convergence in primal-dual methods