International Conference on Logic Programming and Automated Reasoning,LPAR.International Conference on Logic Programming and Automated Reasoning(1992 : Russia):Login Programming and automated reasoning.Springer,1992.
Isaac Levi..For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning /.Cambridge University Press,,2007..