@inproceedings{KLOT14, author = {Bartek Klin and S{\l}awomir Lasota and Joanna Ochremiak and Szymon Toru{\'n}czyk}, title = {Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity}, booktitle = {Proc. LICS'14}, year = {2014}, pages = {} }