"Incremental Evaluation of Lattice-Based Aggregates in Logic Programming ..."

Joaquín Arias, Manuel Carro (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics