Elementary engineering mechanics applications of the OTTER automated reasoning system - Ioakimidis, Nikolaos (2018)