@article{DBLP:journals/fuin/AbseherGMSW16, title = {Shift Design with Answer Set Programming}, author = {Abseher, Michael and Gebser, Martin and Musliu, Nysret and Schaub, Torsten and Woltran, Stefan}, journal = {Fundam. Inform.}, number = {1}, pages = {1--25}, volume = {147}, year = {2016} }