Karp's NP-Complete Problems over First-Order Definable Structures.

Aidan Healy, Bartek Klin

Browse the full FOSSACS paper archive.