Vardi: Monotone monadic SNP and constraint satisfaction (1993)

by T Feder, M
Venue:In: Proc. 25th Symposium on the Theory of Computation, STOC