@misc{indiciaeb59164b7d1e6, title = {Characterization of Logic Program Revision as an Extension of Propositional Revision}, author = {Nicolas Schwind and Katsumi Inoue}, year = {2015}, doi = {10.1017/s1471068415000101}, url = {https://arxiv.org/abs/1506.08919}, note = {Source identifier: 1506.08919} }