Šefránek, J. 2012. Updates of Logic Programs. Computing and Informatics. 26, 3 (Jan. 2012), 225–238.