A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs.

Joo Raimundo, Ricardo Rocha

Browse the full EPIA paper archive.