ŠEFRÁNEK, Ján. Updates of Logic Programs. Computing and Informatics, [S. l.], v. 26, n. 3, p. 225–238, 2012. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/308. Acesso em: 30 apr. 2025.