A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs. - Areias, Miguel; Rocha, Ricardo (International Journal of Parallel Programming, 2016)