1. The Logic of Conditionals;Adams,1975
2. On the logic of theory change: Partial meet contraction and revision functions;Alchourrón;Journal of Symbolic Logic,1985
3. On logic program semantics with two kinds of negation;Alferes,1992
4. Defaults as restrictions on classical hilbert-style proofs;Amati;Journal of Logic, Language and Information,1994
5. Definability and commonsense reasoning;Amati;Artificial Intelligence,1997