An Application of the Tarski-Seidenberg Theorem With Quantifiers to Vector Variational Inequalities. JMTA 2020, 5 (1), 19–31.