Reference: Cooper, G. F. An Algorithm for Computing Propositions. June, 1987.
Abstract: An algorithm for computing probabilistic propositions is presented. It assumes the availability of a single external routine for computing the probability of one instantiated variable, given a conjunction of other insantiated variables. Although the time complexity of the algorithm is exponential in the size of a query, it is polynomial in the size of a number of common types of queries.