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