The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable | IEEE Conference Publication | IEEE Xplore