@inproceedings{TEMP:conf/lpnmr/AbseherGMSW15, title = {Shift Design with Answer Set Programming}, author = {Abseher, Michael and Gebser, Martin and Musliu, Nysret and Schaub, Torsten and Woltran, Stefan}, booktitle = {{ASPOCP@LPNMR}}, year = {2015} }