Monotone monadic snp and constraint satisfaction (1993)

by Tomás Feder, Moshe Y Vardi
Venue:In STOC ’93: Proceedings of the twenty-fifth annual ACM symposium on Theory of computing