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), pp. 45–56. doi: 10.30973/progmat/2019.11.3/4.