@misc{indiciae55ec33def862, title = {Reasoning about Study Regulations in Answer Set Programming}, author = {Susana Hahn and Cedric Martens and Amade Nemes and Henry Otunuya and Javier Romero and Torsten Schaub and Sebastian Schellhorn}, year = {2024}, doi = {10.1017/s1471068424000383}, url = {https://arxiv.org/abs/2408.04528}, note = {Source identifier: 2408.04528} }