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