TY - RPRT TI - A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling AU - Miguel Areias AU - Ricardo Rocha PY - 2014 UR - https://arxiv.org/abs/1405.2850 ID - 1405.2850 ER -