1. Bayesian logic;Andersen;Decision Support Systems,1994
2. A linear programming framework for logics of uncertainty;Andersen;Decision Support Systems,1996
3. Araque , G. J. R. V. Chandru Some facets of satisfiability, Technical Report CC-91-13, Institute for Interdisciplinary Engineering Studies, Purdue University, West Lafayette, IN 1991
4. O(n2) algorithm for the satisfiability problem of a subset of propositonal sentences in CNF that includes all Horn sentences;Arvind;Information Processing Letters,1987