Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures.

Zoltan Somogyi David B. Kemp James Harland Kotagiri Ramamohanarao Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. 59-72 EDBT94/P059.pdf conf/edbt/94 1994 EDBT db/conf/edbt/edbt94.html#SomogyiKHR94 http://dx.doi.org/10.1007/3-540-57818-8_41 conf/pods/BancilhonMSU86 ... conf/vldb/KempRS90 ... journals/ai/MycroftO84 conf/deductive/RamakrishnanBSS90 conf/iclp/Somogyi87 ... ... conf/icde/VaghaniRKSS91