TY  - RPRT
TI  - Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure
AU  - Ken Satoh
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003008
ID  - cs/0003008
ER  -