@incollection{Atserias_2004,
    doi = {10.1007/978-3-540-30201-8_9},
    url = {https://doi.org/10.1007%2F978-3-540-30201-8_9},
    year = {2004},
    publisher = {Springer Berlin Heidelberg},
    pages = {77--91},
    author = {Albert Atserias and Phokion G. Kolaitis and Moshe Y. Vardi},
    title = {Constraint Propagation as a Proof System},
    booktitle = {Principles and Practice of Constraint Programming {\textendash} {CP} 2004}
}

@incollection{Atserias_2004, doi = {10.1007/978-3-540-30201-8_9}, url = {https://doi.org/10.1007%2F978-3-540-30201-8_9}, year = {2004}, publisher = {Springer Berlin Heidelberg}, pages = {77--91}, author = {Albert Atserias and Phokion G. Kolaitis and Moshe Y. Vardi}, title = {Constraint Propagation as a Proof System}, booktitle = {Principles and Practice of Constraint Programming {\textendash} {CP} 2004} }