A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.

Diptikalyan Saha C. R. Ramakrishnan A Local Algorithm for Incremental Evaluation of Tabled Logic Programs. 56-71 2006 conf/iclp/2006 ICLP http://dx.doi.org/10.1007/11799573_7 db/conf/iclp/iclp2006.html#SahaR06