@inproceedings{CSL-2009-AtseriasW,
author = "Albert Atserias and Mark Weyer",
booktitle = "{Proceedings of the 18th EACSL Annual Conference / 23rd International Workshop on Computer Science Logic}",
doi = "10.1007/978-3-642-04027-6_10",
isbn = "978-3-642-04026-9",
pages = "102--116",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems}",
volume = 5771,
year = 2009,
}
Tags: