A Term-Based Global Trie for Tabled Logic Programs. - Jorge Costa; João Raimundo; Ricardo Rocha 001 (ICLP, 2009)

Compact Lists for Tabled Evaluation. - João Raimundo; Ricardo Rocha 001 (PADL, 2010)

A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs. - João Raimundo; Ricardo Rocha 001 (EPIA, 2011)

Global Trie for Subterms - João Raimundo; Ricardo Rocha 001 (CoRR, 2011)