How Hard Is Completeness Reasoning for Conjunctive Queries?

Xianmin Liu, Jianzhong Li, Yingshu Li

Browse the full COCOON paper archive.