1. Bayesian logic;Andersen;Decision Support Systems,1994
2. Representing and Reasoning with Probabilistic Knowledge: A Logical Approach;Bacchus,1990
3. PP is closed under intersection;Beigel;Journal of Computer and System Science,1995
4. The Laws of Thought;Boole,1958
5. A branch-and-cut algorithm for MAX-SAT and weighted MAX-SAT;Borchers,1997