@inproceedings{DBLP:conf/lpnmr/AbseherGMSW15, author = {Abseher, Michael and Gebser, Martin and Musliu, Nysret and Schaub, Torsten and Woltran, Stefan}, title = {Shift Design with Answer Set Programming}, booktitle = {{LPNMR}}, series = {Lecture Notes in Computer Science}, volume = {9345}, pages = {32--39}, publisher = {Springer}, year = {2015} }