Finiteness of semialgebraic types of polynomial functions. Riccardo Benedetti, Masahiro Shiota (1991) Mathematische Zeitschrift