I. D. Buitrago Carmona, J. Casta˜no, and S. Giraldo, “Herramienta didáctica con Python para el aprendizaje de la lógica proposicional: LogicalPy”, Ing.USBMed, vol. 10, no. 1, pp. 53–57, Oct. 2022.