de Gortari, E. (1966) «Una mecanización del cálculo proposicional», Diánoia, 12(12), pp. 58–86. doi: 10.22201/iifs.18704913e.1966.12.1177.