"Supporting Pruning in Tabled LP."

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics