Haenni. Unifying Logical and Probabilistic Reasoning. Springer Berlin Heidelberg, 2005, doi:10.1007/11518655_66.