Morales Angelino, Feliciano, René Edmundo Cuevas Valencia, Gustavo Adolfo Alonso Silverio, Antonio Alarcón Paredes, y Arnulfo Catalán Villegas. «Aplicación De WinKE En Deducciones Por Métodos Semánticos En Lógica Proposicional». Programación matemática y software 11, no. 3 (octubre 31, 2019): 45–56. Accedido mayo 14, 2024. https://progmat.uaem.mx/progmat/index.php/progmat/article/view/2019-11-3-04.