Approximate Pruning in Tabled Logic Programming.

Lus Fernando Castro, David Scott Warren

Browse the full ESOP paper archive.