“Italian Convention on Computational Logic, 6-7 June” (2012) The Reasoner, 6(8). Available at: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/25389 (Accessed: 28 July 2026).