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

[CaGaHe89] L. Caniglia, A. Galligo, and J. Heintz. Some new effectivity bounds in computational geometry. In T. Mora et al, editor, Proc. AAECC-6, LNCS 357, pages 131--152. Springer, 1989.

[CuPaRaReRo89] F. Cucker, Luis M. Pardo Vasallo, M. Raimondo, T. Recio and M.F. Roy. On the Computation of the Local and Global Analytic Branches of a Real Algebraic Curve. In Proc. AAECC--5, (L. Huguet, A. Poli eds.), LNCS 356 , Springer Verlag (1989) 161--182

[Giusti89] M. Giusti. On the Castelnuovo regularity for curves. Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation: ISSAC '89 / July 17--19, 1989, Portland, Oregon, pp. 250-253, ACM Press, 1989.

[Giusti89a] M. Giusti. Complexity of standard bases in projective dimension zero. Proceedings of the European Conference on Computer Algebra, LNCS, Vol. 378, pp. 333-335, Springer, June 1989.

[HeRoSo89a] J. Heintz, M.-F. Roy, and P. Solernó. Complexitè du principe de Tarski--Seidenberg. C. R. Acad. Sci. Paris, 309(I):825--830, 1989.

[HeRoSo89b] J. Heintz, M.-F. Roy, and P. Solernò. On the complexity of semialgebraic sets (extended abstract). Information Processing, pages 293--298, 1989.

[PaRe89] Luis M. Pardo and Tomàs Recio. Rabin's width of a complete proof and the width of a semialgebraic set. In EUROCAL' 87, volume 378 of LNCS, Springer Verlag, (1987) 456-462.