@article{DBLP:journals/tocl/AschingerDGV14,
  title = "LoCo - {A} Logic for Configuration Problems",
  author = "Markus Aschinger and Conrad Drescher and Georg Gottlob and Heribert Vollmer",
  year = "2014",
  journal = "{ACM} Trans. Comput. Log.",
  number = "3",
  pages = "20:1--20:25",
  url = "http://doi.acm.org/10.1145/2629454",
  volume = "15",
  doi = "10.1145/2629454",
}