APA (7th ed.) Citation

Ioakimidis, N., & Ιωακειμίδης, Ν. (2018). Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics.

Chicago Style (17th ed.) Citation

Ioakimidis, Nikolaos, and Νικόλαος Ιωακειμίδης. Elementary Theorem-proving Applications of the OTTER Automated Deduction System in Structural Mechanics. 2018.

MLA (8th ed.) Citation

Ioakimidis, Nikolaos, and Νικόλαος Ιωακειμίδης. Elementary Theorem-proving Applications of the OTTER Automated Deduction System in Structural Mechanics. 2018.

Warning: These citations may not always be 100% accurate.