Comparing Index Structures for Completeness Reasoning | IEEE Conference Publication | IEEE Xplore