Morales Angelino, F.; Cuevas Valencia, R. E.; Alonso Silverio, G. A.; Alarcón Paredes, A.; Catalán Villegas, A. Aplicación De WinKE En Deducciones Por Métodos Semánticos En Lógica Proposicional. ProgMat 2019, 11, 45-56.