Stress concentration factors: determination of ranges of values by the method of quantifier elimination - Ioakimidis, Nikolaos (2018)