John L. Pollock Defeasible Reasoning in OSCAR http://arxiv.org/abs/cs.AI/0003012 2000 CoRR cs.AI/0003012 db/journals/corr/corr0003.html#cs-AI-0003012