Lima, Ana, Briza M. D. de Sousa, Daniel P. Cardeal, Jessica Y. N. Sato, Lorenzo B. Salvador, Renato L. Geh, and Bruna Bazaluk. "LUNCH: an Answer Set Programming System for Course Scheduling." Anais do XX Encontro Nacional de InteligĂȘncia Artificial e Computacional, Belo Horizonte/MG, 2023. SBC, 2023, pp.954-968.