Sur la complexite du principe de tarski-seidenberg (1990)

by J Heintz, M Roy, P Solerno