Morales Angelino F, Cuevas Valencia RE, Alonso Silverio GA, Alarcón Paredes A, Catalán Villegas A. Aplicación de WinKE en Deducciones por Métodos Semánticos en Lógica Proposicional. ProgMat [Internet]. 31 de octubre de 2019 [citado 14 de mayo de 2024];11(3):45-56. Disponible en: https://progmat.uaem.mx/progmat/index.php/progmat/article/view/2019-11-3-04