Jacques Calmet, Peter Kullmann. A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 11th International Symposium, ISMIS 99, Warsaw, Poland, June 8-11, 1999, Proceedings. Volume 1609 of Lecture Notes in Computer Science, pages 475-483, Springer, 1999.
Abstract is missing.