On Intuitionistic Sentential Connectives I. E.G.K. López-Escobar — 1985 Revista colombiana de matematicas
König's Lemma, the ...-rule and primitive recursive arithmetic. E.G.K. López-Escobar — 1985 Archiv für mathematische Logik und Grundlagenforschung
Further applications of ultra-conservative ...-rules. E.G.K. López-Escobar — 1982 Archiv für mathematische Logik und Grundlagenforschung