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

Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao

Browse the full EDBT paper archive.