Darari, F., Nutt, W., & Razniewski, S. (2018). Comparing Index Structures for Completeness Reasoning. In International Workshop on Big Data and Information Security.