Characterization of Logic Program Revision as an Extension of Propositional Revision | Read Paper on Bytez