Birte Glimm, Sebastian Rudolph
Status QIO: Conjunctive Query Entailment Is Decidable
KR, 2010.
@inproceedings{KR-2010-GlimmR, author = "Birte Glimm and Sebastian Rudolph", booktitle = "{Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning}", ee = "http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1213", publisher = "{AAAI Press}", title = "{Status QIO: Conjunctive Query Entailment Is Decidable}", year = 2010, }