Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics - Ioakimidis, Nikolaos (2018)