Program Updating by Incremental and Answer Subsumption Tabling.

Ari Saptawijaya, Lus Moniz Pereira

Browse the full LPNMR paper archive.