2012. Logica, 18–22 June. The Reasoner. 6, 10 (Oct. 2012).