@inproceedings{DBLP:conf/lpnmr/AbseherGMSW15,
  title = {Shift Design with Answer Set Programming},
  author = {Abseher, Michael and Gebser, Martin and Musliu, Nysret and Schaub, Torsten and Woltran, Stefan},
  booktitle = {{LPNMR}},
  pages = {32--39},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {9345},
  year = {2015}
}