Šefránek, J. Updates of Logic Programs. Comput. Inform. 2012, 26, 225-238.