A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.

Diptikalyan Saha, C. R. Ramakrishnan

Browse the full ICLP paper archive.