Intervals for the resultants of interval forces with existentially and/or universally quantified formulae with the help of the method of quantifier elimination - Ioakimidis, Nikolaos (2020)