Analysis of Bayesian networks via prob-solvable loops
scientific article; zbMATH DE number 7369991