@article{Bulatov_2005,
    doi = {10.1137/s0097539700376676},
    url = {https://doi.org/10.1137%2Fs0097539700376676},
    year = {2005},
    month = {jan},
    publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})},
    volume = {34},
    number = {3},
    pages = {720--742},
    author = {Andrei Bulatov and Peter Jeavons and Andrei Krokhin},
    title = {Classifying the Complexity of Constraints Using Finite Algebras},
    journal = {{SIAM} Journal on Computing}
}

@article{Bulatov_2005, doi = {10.1137/s0097539700376676}, url = {https://doi.org/10.1137%2Fs0097539700376676}, year = {2005}, month = {jan}, publisher = {Society for Industrial {\&} Applied Mathematics ({SIAM})}, volume = {34}, number = {3}, pages = {720--742}, author = {Andrei Bulatov and Peter Jeavons and Andrei Krokhin}, title = {Classifying the Complexity of Constraints Using Finite Algebras}, journal = {{SIAM} Journal on Computing} }