Formal Methods in Argument Reconstruction, 20–21 September. tr 2012, 6 (11).