Symbolic and Quantitative Approaches to Reasoning with Uncertainty - Gaag (Springer Berlin Heidelberg, 2013)