@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}
}