Ken Satoh Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure http://arxiv.org/abs/cs.AI/0003008 2000 CoRR cs.AI/0003008 db/journals/corr/corr0003.html#cs-AI-0003008 informal publication