Merging the local and global approaches to probabilistic satisfiability - Hansen, Pierre; Perron, Sylvain (International Journal of Approximate Reasoning, 2008)