Morales Angelino, F., Cuevas Valencia, R.E., Alonso Silverio, G.A., Alarcón Paredes, A. y Catalán Villegas, A. 2019. Aplicación de WinKE en Deducciones por Métodos Semánticos en Lógica Proposicional. Programación matemática y software. 11, 3 (oct. 2019), 45–56. DOI:https://doi.org/10.30973/progmat/2019.11.3/4.