@article{DBLP:journals/tplp/HahnSMNORS24,
  title = {Reasoning About Study Regulations in Answer Set Programming},
  author = {Hahn, Susana and Schaub, Torsten and Martens, Cedric and Nemes, Amad{\'{e}} and Otunuya, Henry and Romero, Javier and Schellhorn, Sebastian},
  journal = {Theory Pract. Log. Program.},
  number = {4},
  pages = {790--804},
  volume = {24},
  year = {2024}
}