Status QIO: Conjunctive Query Entailment is Decidable
Birte Glimm and Sebastian Rudolph
Book Title
Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR−10)
Publisher
AAAI Press/The MIT Press
Year
2010