Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q

Bibliografische gegevens
Hoofdauteurs: Glimm, B, Rudolph, S
Formaat: Conference item
Gepubliceerd in: CEUR Workshop Proceedings 2009