E. de Gortari, «Una mecanización del cálculo proposicional», Diánoia, vol. 12, n.º 12, pp. 58–86, ene. 1966.