Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation.

Diptikalyan Saha, C. R. Ramakrishnan

Browse the full ICLP paper archive.