Y. Kameya, T. Sato, and {. Zhou. Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04), page 490--494. Valencia, Spain, IOS Press, (August 2004)
D. Poole. Automated Abduction, chapter ??, MIT Press, Cambridge, MA, Earlier version in Proc. IJCAI-93 Workshop The Management of Uncertainty in AI, Chamberry, France, 1993..(1994)
D. Poole. First International Conference on the Principles of Knowledge Representation and Reasoning (KR89), page 333--340. Toronto, Canada, (May 1989)