1. A Computing Procedure for Quantification Theory;Davis;J. ACM,1960
2. Shafer, G., and Shenoy, P. (1988). Local Computation in Hypertrees, School of Business, University of Kansas. Working Paper N. 201.
3. Kohlas, J. (2012). Information Algebras: Generic Structures for Inference, Springer Science & Business Media.
4. Dechter, R., and Rish, I. (1994). Principles of Knowledge Representation and Reasoning, Morgan Kaufmann.
5. Resolution versus Search: Two Strategies for SAT;Risht;J. Autom. Reason.,2000