Šefránek, J. (2007). Updates of Logic Programs. Computing and Informatics, 26(3), 225–238. https://cai.type.sk/content/2007/3/updates-of-logic-programs/