@inproceedings{locoecai,
  title = "LoCo --- A Logic for Configuration Problems",
  author = "Markus Aschinger and Conrad Drescher and Heribert Vollmer",
  year = "2012",
  booktitle = "Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012",
  location = "Montpellier, France",
}