Two ::::P::::-complete problems in the theory of the reals

Felipe Cucker, A. Torrecillas. Two ::::P::::-complete problems in the theory of the reals. J. Complexity, 8(4):454-466, 1992. [doi]

Abstract

Abstract is missing.