@article{AbseherMusliuWoltranetal.2016,
  author    = {Michael Abseher and Nysret Musliu and Stefan Woltran and Martin Gebser and Torsten H. Schaub},
  title     = {Shift Design with Answer Set Programming},
  journal   = {Fundamenta informaticae},
  volume    = {147},
  pages     = {1 -- 25},
  doi       = {10.3233/FI-2016-1396},
  year      = {2016},
}