Optimized algorithms for incremental analysis of logic programs | Publicación