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