J. Pearl. Proceedings of the Ninth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-93), page 12--20. San Francisco, CA, Morgan Kaufmann, (1993)
N. Friedman, J. Halpern, and D. Koller. Proceedings of the 13th National Conference on Artificial Intelligence (AAAI), page 1305--1312. Portland, Oregon, (August 1996)
N. Olivetti, and G. Pozzato. Proceedings of TABLEAUX 2003 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 2796 of LNAI, page 264--270. Roma, Italy, Springer, (September 2003)
N. Olivetti, and G. Pozzato. Proceedings of TABLEAUX 2005 (Automated Reasoning with Analytic Tableaux and Related Methods), volume 3702 of LNAI, page 328--332. Koblenz, Germany, Springer-Verlag, (September 2005)