Stuart C. Shapiro Frances L. Johnson Automatic Belief Revision in SNePS http://arxiv.org/abs/cs.AI/0003011 2000 CoRR cs.AI/0003011 db/journals/corr/corr0003.html#cs-AI-0003011 informal publication