Wan, Kifer, 2009. Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-04238-6_27