F. Morales Angelino, R. E. Cuevas Valencia, G. A. Alonso Silverio, A. Alarcón Paredes, y A. Catalán Villegas, «Aplicación de WinKE en Deducciones por Métodos Semánticos en Lógica Proposicional», ProgMat, vol. 11, n.º 3, pp. 45–56, oct. 2019.