TY  - RPRT
TI  - Characterization of Logic Program Revision as an Extension of Propositional Revision
AU  - Nicolas Schwind
AU  - Katsumi Inoue
PY  - 2015
DO  - 10.1017/s1471068415000101
UR  - https://arxiv.org/abs/1506.08919
ID  - 1506.08919
ER  -