Morales Angelino, F., R. E. Cuevas Valencia, G. A. Alonso Silverio, A. Alarcón Paredes, y A. Catalán Villegas. «Aplicación De WinKE En Deducciones Por Métodos Semánticos En Lógica Proposicional». Programación matemática Y Software, vol. 11, n.º 3, octubre de 2019, pp. 45-56, doi:10.30973/progmat/2019.11.3/4.