Šefránek, J. 2012. Updates of Logic Programs. COMPUTING AND INFORMATICS. 26, 3 (Jan. 2012), 225–238.