A. Lima et al."LUNCH: an Answer Set Programming System for Course Scheduling", in Anais do XX Encontro Nacional de InteligĂȘncia Artificial e Computacional, Belo Horizonte/MG, 2023, pp. 954-968, doi: https://doi.org/10.5753/eniac.2023.234540.