Properties and algorithms for unfolding of probabilistic data-flow graphs
scientific article; zbMATH DE number 1523682