Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo. Supporting Pruning in Tabled LP. In Konstantinos F. Sagonas, editor, Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings. Volume 7752 of Lecture Notes in Computer Science, pages 60-76, Springer, 2013. [doi]
Abstract is missing.