Aschinger, Markus ; Drescher, Conrad ; Vollmer, Heribert: LoCo -- A Logic for Configuration Problems. In: Proceedings of the 20th European Conference on Artificial Intelligence, ECAI 2012, 2012