Quantifier elimination and quantifier-free formulae for universally–existentially (AE) quantified formulae in Ben-Haim's info-gap model of uncertainty - Ioakimidis, Nikolaos (Κανένας, 2021)