@article{BanbaraSohTamuraetal.2013,
  author    = {Mutsunori Banbara and Takehide Soh and Naoyuki Tamura and Katsumi Inoue and Torsten H. Schaub},
  title     = {Answer set programming as a modeling language for course timetabling},
  journal   = {Theory and practice of logic programming},
  volume    = {13},
  number    = {2},
  pages     = {783 -- 798},
  doi       = {10.1017/S1471068413000495},
  year      = {2013},
}