J. Šefránek, “Updates of Logic Programs”, Comput. Inform., vol. 26, no. 3, pp. 225–238, Jan. 2012.