Tabling with Answer Subsumption: Implementation, Applications and Performance.

Terrance Swift, David Scott Warren

Browse the full JELIA paper archive.