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