Formal Methods in Argument Reconstruction, 20–21 September. The Reasoner, v. 6, n. 11, 1 Nov.2012.