Sjur Kristoffer Dyrkolbotn, Truls Pedersen. A Formal Analysis of Enthymematic Arguments. In Claudia Schon, editor, Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), Stockholm, Schweden, July 14, 2018. Volume 2261 of CEUR Workshop Proceedings, pages 13-18, CEUR-WS.org, 2018. [doi]