Reasoning over Student Study Plans with Answer Set Programming. - Henry Otunuya; Stefan Lindow; Mariia Merzliakova (INFORMATIK, 2025)