2 works on record
Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Probability Logics