Lima, A., de Sousa, B., Cardeal, D., Sato, J., Salvador, L., Geh, R., & Bazaluk, B. (2023). LUNCH: an Answer Set Programming System for Course Scheduling. In Proceedings of the 20th National Meeting on Artificial and Computational Intelligence, (pp. 954-968). Porto Alegre: SBC. doi:10.5753/eniac.2023.234540