A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications.

Jacques Calmet, Peter Kullmann

Browse the full ISMIS paper archive.