2012. Italian Convention on Computational Logic, 6-7 June. The Reasoner. 6, 8 (Aug. 2012).