@inproceedings{GlRu10a, title = "Status QIO: Conjunctive Query Entailment is Decidable", author = "Birte Glimm and Sebastian Rudolph", year = "2010", booktitle = "Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10)", publisher = "AAAI Press/The MIT Press", }