Elementary quantifier-free formulae in boundary elements - Ioakimidis, Nikolaos (2018)