Retroactive Subsumption-Based Tabled Evaluation of Logic Programs.

Flvio Cruz, Ricardo Rocha

Browse the full JELIA paper archive.