Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP | Publicación