Progic 2021: Combining Probability and Logic, 31 August – 3 September (virtual). tr [Internet]. 2021 Nov. 1 [cited 2026 Jul. 28];15(5). Available from: https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/24284