1. Implicature, Disjunction, and Non-monotonic Logic;Covington,1986
2. Prolog Programming in Depth;Covington,1988
3. Etherington, David W. and Raymond Reiter, On Inheritance Hieararchies with Exceptions, Proc. AAAI-83 (William Kaufmann, Los Altos, CA).
4. Default Reasoning and the Logic of Theory Perturbation;Glymour,1984
5. Counterfactuals;Lewis,1973