@article{DBLP:journals/tplp/BanbaraSTIS13,
  author = {Banbara, Mutsunori and Soh, Takehide and Tamura, Naoyuki and Inoue, Katsumi and Schaub, Torsten},
  title = {Answer set programming as a modeling language for course timetabling},
  journal = {{TPLP}},
  volume = {13},
  number = {4-5},
  pages = {783--798},
  year = {2013}
}