Progic 2007: the Third Workshop on Combining Probability and Logic, University of Kent, Canterbury, 5–7 September 2007. (2007). The Reasoner, 1(6). https://test-ojs-unimi-it.archicoop.it/index.php/thereasoner/article/view/26470