A Term-Based Global Trie for Tabled Logic Programs.

Jorge Costa, Joo Raimundo, Ricardo Rocha

Browse the full ICLP paper archive.