T. Eiter, M. Fink, G. Sabbatini, H. Tompits: "On Updates of Logic Programs: Semantics and Properties"; 2000.