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