Morales Angelino, Feliciano, René Edmundo Cuevas Valencia, Gustavo Adolfo Alonso Silverio, Antonio Alarcón Paredes, y Arnulfo Catalán Villegas. 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.