TY - RPRT TI - Combined-Semantics Equivalence Is Decidable for a Practical Class of Conjunctive Queries AU - Rada Chirkova PY - 2014 UR - https://arxiv.org/abs/1308.4027 ID - 1308.4027 ER -