Morales Angelino, F., Cuevas Valencia, R. E., Alonso Silverio, G. A., Alarcón Paredes, A., & 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), 45–56. https://doi.org/10.30973/progmat/2019.11.3/4