Two P-complete problems in the theory of the reals | Publicación