E. . Quintero Monsalve and A. M. . Silva Monsalve, “Incorporation of an educational software as a pedagogical strategy for the teaching of computational logic”, CITAS, vol. 7, no. 1, Jan. 2021, doi: 10.15332/24224529.6846.