Supporting Pruning in Tabled LP.

Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo

Browse the full PADL paper archive.