Tomás Feder, Moshe Y. Vardi. The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM Journal on Computing, 28(1):57-104, 1998.
@article{FederV98,
title = {The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory},
author = {Tomás Feder and Moshe Y. Vardi},
year = {1998},
tags = {constraints, Datalog},
researchr = {https://researchr.org/publication/FederV98},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {28},
number = {1},
pages = {57-104},
}