Incremental Tabling for Query-Driven Propagation of Logic Program Updates.

Ari Saptawijaya, Lus Moniz Pereira

Browse the full LPAR paper archive.