A. Lima et al." LUNCH: an Answer Set Programming System for Course Scheduling", in Proceedings of the 20th National Meeting on Artificial and Computational Intelligence, Belo Horizonte/MG, 2023, pp. 954-968, doi: https://doi.org/10.5753/eniac.2023.234540.