Monotone monadic SNP and constraint satisfaction.

Toms Feder, Moshe Y. Vardi

Browse the full STOC paper archive.