Symbolic And Quantitative Approaches To Reasoning And Uncertainty by Michael Clarke & Rudolf Kruse