Theory and Application of Formal Argumentation, 3–4 August. tr 2013, 7 (9).