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." <em>Anais do XX Encontro Nacional de Inteligência Artificial e Computacional,
Belo Horizonte/MG, 2023</em>. SBC, 2023,  
pp.954-968.