C. Andrew Neff Specified Precision Polynomial Root Isolation Is in NC. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1994, v:48, n:3, pp:429-463 [Journal]
Christos H. Papadimitriou On the Complexity of the Parity Argument and Other Inefficient Proofs of Existence. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1994, v:48, n:3, pp:498-532 [Journal]