LoCo — A Logic for Configuration Problems (Proceedings of the 20th European Conference on Artificial Intelligence‚ ECAI 2012, 2012)

(untitled) - Aschinger, M; Drescher, C; Vollmer, H