@inproceedings{TEMP: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 = {{ASPOCP@LPNMR}},
  year = {2015}
}