@InProceedings{   KlinLasotaOchremiakTorunczyk,
  Author        = "Klin, Bartek and Lasota, S{\l}awomir and Ochremiak, Joanna and Torunczyk, Szymon",
  date-added    = "2014-04-26 06:14:34 +0000",
  date-modified = "2014-04-26 06:15:15 +0000",
  Title         = "Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity",
  File          = "Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity - Klin, Lasota, Ochremiak, Torunczyk (0) (0) - a - a - l.pdf"
}

@InProceedings{ KlinLasotaOchremiakTorunczyk, Author = "Klin, Bartek and Lasota, S{\l}awomir and Ochremiak, Joanna and Torunczyk, Szymon", date-added = "2014-04-26 06:14:34 +0000", date-modified = "2014-04-26 06:15:15 +0000", Title = "Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity", File = "Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity - Klin, Lasota, Ochremiak, Torunczyk (0) (0) - a - a - l.pdf" }