Tomás Feder Moshe Y. Vardi Monotone monadic SNP and constraint satisfaction. 612-622 1993 conf/stoc/STOC25 STOC https://doi.org/10.1145/167088.167245 db/conf/stoc/stoc1993.html#FederV93