Lima, A., 		de Sousa, B., 		Cardeal, D., 		Sato, J., 		Salvador, L., 		Geh, R., & 		Bazaluk, B.
2023 set 25.  LUNCH: an Answer Set Programming System for Course Scheduling. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). [Online] :