The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable.

Tomasz Gogacz, Jerzy Marcinkowski

Browse the full LICS paper archive.