Symbolic and Quantitative Approaches to Reasoning and Uncertainty by Anthony Hunter & Simon Parsons