Some of these references are not directly available yet.
	Please ask the author(s) for them by e-mail.

[HeRoSo94a] J. Heintz, M.-F. Roy, and P. Solernò. Single exponential path finding in semialgebraic sets: Part II: The general case. In C. L. Bajaj, editor, Algebraic Geometry and Its Applications, pages 449--465. Springer, 1994.

[HeRoSo94b] J. Heintz, M.-F. Roy, and P. Solernò. Description of the connected components of a semialgebraic set in single exponential time. In Algebraic Geometry, pages 121--140. Springer, 1994.

[KrPa94] T. Krick and L. M. Pardo. Une approche informatique pour l'approximation diophantienne C. R. Acad. Sci. Paris, 318(1):407--412, 1994.

[MoPaRe94] J. L. Montaña, L. M. Pardo, and T. Recio. A Note on Rabin's Width of a Complete Proof Computational Complexity, 4 (1994) 12--36.

[MoMoPa94] J. L. Montaña, J.E. Morais and Luis M. Pardo. Lower Bounds for Arithmetic Networks II: Sum of Betti numbers (Extended Abstract). In Proc. Tenth European Workshop in Computational Geometry (CG'94) , (Mazon, Recio, Santos, eds.) (1994) 45--48.